1. Alves, G.V., de Oliveira, A.G., de Queiroz, R.J.G.B.: Towards normalization for proof-graphs. In: Logic Colloquium, Bulletin of Symbolic Logic, Torino, United States of America, vol. 11, pp. 302–303 (2005)
2. Lecture Notes in Computer Science;G.V. Alves,2009
3. Alves, G.V., de Oliveira, A.G., de Queiroz, R.J.G.B.: Proof-graphs: a thorough cycle treatment, normalization and subformula property. Fundamenta Informaticae 106, 119–147 (2011)
4. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)
5. Cruz, M.Q., de Oliveira, A.G., de Queiroz, R.J.G.B., de Paiva, V.: Intuitionistic N-graphs. Logic Journal of the IGPL (Print) (accepted for publication, 2013)