A Non-Ground Realization of the Stable and Well-Founded Semantics
Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer and V. S. Subrahmanian
Details
| Journal |
Theor. Comput. Sci. |
| Number |
1&2 |
| Pages |
221-262 |
| Volume |
166 |
| Year |
1996 |
Links
DOI (10.1016/0304-3975(95)00207-3)
Related pages
|
People |