Monica D. Barback, Jorge Lobo. A Resolution-based Procedure for Default Theories with Extensions. In Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, editors, Non-Monotonic Extensions of Logic Programming (NMELP 94), ICLP 94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers. Volume 927 of Lecture Notes in Computer Science, pages 101-126, Springer, 1994.
Abstract is missing.