Pequeno, Marcelino, Veras, Rodrigo, E Tavares, Wladimir. " Lógica não monotônica com prioridade às exceções" Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC) [Online], (30 junho 2007)