A Non-Ground Realization of the Stable and Well-Founded Semantics

Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian. A Non-Ground Realization of the Stable and Well-Founded Semantics. Theoretical Computer Science, 166(1&2):221-262, 1996. [doi]

Abstract

Abstract is missing.