1. Proof-graphs: a thorough cycle treatment, normalization and subformula property;Alves;Fundamenta Informaticae,2011
2. Transformations via geometric perspective techniques augmented with cycles normalization. In 16th International Workshop on Logic, Language, Information and Computation - WoLLIC 2009, Tokyo, 2009;Alves
3. Towards normalization for proof-graphs (abstract). Vol. 11 of Logic Colloquium 2005, Torino;Alves,2005
4. Linear time proof verification on N-Graphs: a graph theoretic approach. In 20th International Workshop on Logic, Language, Information and Computation - WoLLIC 2013, Darmstadt, Germany pp. 34–48. Vol. 8071 of LNCS. Springer, 2013.;Andrade