Paul H. Morris. Autoepistemic Stable Closures and Contradiction Resolution. In Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall, editors, Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Volume 346 of Lecture Notes in Computer Science, pages 60-73, Springer, 1988.
Abstract is missing.