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
Georg Gottlob‚ Sherry Marcus‚ Anil Nerode‚ Gernot Salzer and V. S. Subrahmanian