1. Contu, Patrizio, ‘La Filosofia della Logica in Dummett e Prawitz’, Tesi di Laurea, Dipartimento di Filosofia, Università degli Studi di Firenze, 1994. ( http://wwwls. informatik.uni-tuebingen.de/contu/ ).
2. de Oliveira Anjolina G., de Queiroz. Ruy J.G.B. : ‘A normalization procedure for the equational fragment of labelled natural deduction’. Logic Journal of the Interest Group in Pure and Applied Logics 7(2), 173–215 (1999)
3. de Oliveira Anjolina G., de Queiroz. Ruy J.G.B.: ‘A new basic set of proof transformations’. In: Artemov, S., Barringer, H., Garcez, A., Lamb, L., Woods, J. (eds) We Will Show Them: Essays in Honour of Dov Gabbay. Vol. 2, pp. 499–528. College Publications, London (2005)
4. de Queiroz, Ruy J. G. B., ‘Note on Frege’s notions of definition and the relationship proof theory vs. recursion theory (Extended Abstract)’, in Abstracts of the VIIIth International Congress of Logic, Methodology and Philosophy of Science. Vol. 5, Part I, Institute of Philosophy of the Academy of Sciences of the USSR, Moscow, 1987, pp. 69–73.
5. de Queiroz Ruy J. G. B.: ‘A proof-theoretic account of programming and the rôle of reduction rules’. Dialectica 42(4), 265–282 (1988)