Paes, A., 		Zaverucha, G., & 		Costa, V.
(2007).
 Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica.
In <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, (pp. 1252-1261). Porto Alegre: SBC.