1. Proof-graphs: a thorough cycle treatment, normalization and subformula property;Alves;Fundamenta Informaticae,2011
2. Towards normalization for proof-graphs;Alves;Bulletin of Symbolic Logic,2005
3. Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. 20th Workshop on Logic, Language, Information and Computation - WoLLIC 2013, 2013, Darmstadt, Logic, Language, Information and Computation, 20th International Workshop, WoLLIC 2013;Andrade,2013
4. Natural deduction and coherence for weakly distributive categories;Blute;Journal of Pure and Applied Algebra,1996