Paes, Aline, 		Zaverucha, Gerson, E 		Costa, Vítor.
" Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (30 junho 2007)