A. Paes, G. Zaverucha, and V. Costa.
" 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>, Rio de Janeiro/RJ, 2007, pp. 1252-1261.