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 |