Revoredo, K., 		Paes, A., 		Zaverucha, G., & 		Costa, V.
2007 jun 30.  Combinando Invenção de Predicados e Revisão de Teorias Probabilísticas de Primeira-ordem. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :