Skip to main content

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

Georg Gottlob‚ Sherry Marcus‚ Anil Nerode‚ Gernot Salzer and V. S. Subrahmanian

Journal
Theor. Comput. Sci.
Number
1&2
Pages
221−262
Volume
166
Year
1996