Aline Paes, Gerson Zaverucha, and Vítor Costa. 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>, junho 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 1252-1261.