Jack Minker, Jorge Lobo 0001, Arcot Rajasekar. Circumscription and Disjunctive Logic Programming. In Vladimir Lifschitz, editor, Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. pages 281-304, Academic Press / Elsevier, 1991. [doi]
Abstract is missing.