Berilhes Borges Garcia, José Gabriel Pereira Lopes, Flávio Varejão. Compiling Default Theory int Extended Logic Programming. In Maria Carolina Monard, Jaime Simão Sichman, editors, Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings. Volume 1952 of Lecture Notes in Computer Science, pages 207-216, Springer, 2000. [doi]
Abstract is missing.