Revoredo, K., 		Paes, A., 		Zaverucha, G., & 		Costa, V.
(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>, (pp. 1351-1360). Porto Alegre: SBC.