C. F. R. Geyer, J. L. V. Barbosa, C. A. Costa, A. C. Yamin, I. C. Dutra, V. S. Costa, F. M. A. Silva, G. Gupta and E. Pontelli. ``APPELO -- Parallel Environment for Logic Programming''. Proceedings of the Protem-CC'99 Projects Evaluation Workshop, Rio de Janeiro, 5--7 May, 1999, pp. 421--454.

``Modelo de Processos AND/OR: Uma Visão Crítica'', IX Congresso da SBC, pp. 425-442, Uberlândia, MG, 1989, Com: R. Bianchini, M. Solar Fuentes e S. B. T. Mendes.

``Implementação de um Compilador Prolog'', Relatório Técnico ES-148-88, COPPE/Sistemas, UFRJ, Junho, 1988, 11 páginas.

``Implementação de uma Máquina Virtual Prolog - Tradução e Execução de Programas'', Tese de Mestrado, Novembro, 1988.

``Em Direção a uma Estação Prolog - Implementação e Desempenho da Máquina Virtual'', V Simpósio Brasileiro de Inteligência Artificial da SBC, Natal, RN, Novembro, 1988, pp. 461-471. Com: R. Bianchini, C. L. Amorim, P. M. V. Lima e L. M. R. Eizirik.

``Em Direção a uma Estação Prolog - Tradução de Programas'', V Simpósio Brasileiro de Inteligência Artificial da SBC, Natal, RN, Novembro, 1988, pp.: 473-482. Com: R. Bianchini, C. L. Amorim, P. M. V. Lima e L. M. R. Eizirik.