Paes, A., 		Zaverucha, G., & 		Costa, V.
2007 jun 30.  Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :