Paes, Aline, Gerson Zaverucha, and Vítor Santos Costa.
" Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica." <em>Anais do VI Encontro Nacional de Inteligência Artificial,
Rio de Janeiro/RJ, 2007</em>. SBC, 2007,  
pp.1252-1261.