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