Kate Revoredo, Aline Paes, Gerson Zaverucha, and Vitor Costa. 2007.
 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>, junho 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 1351-1360.