Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
Thomas Eiter and Georg Gottlob
Details
| Journal |
Theor. Comput. Sci. |
| Number |
2 |
| Pages |
231−245 |
| Volume |
114 |
| Year |
1993 |
Links
Related pages
|
People |