K. Revoredo, A. Paes, G. Zaverucha, and V. Costa.
" Combinando Invenção de Predicados e Revisão de Teorias Probabilísticas de Primeira-ordem", in <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, Rio de Janeiro/RJ, 2007, pp. 1351-1360.