Revoredo, Kate, 		Paes, Aline, 		Zaverucha, Gerson, E 		Costa, Vitor.
" Combinando Invenção de Predicados e Revisão de Teorias Probabilísticas de Primeira-ordem" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (30 junho 2007)