✦ LIBER ✦
Propositional circumscription and extended closed-world reasoning are ΠP2-complete: Theoretical computer science 114(2) (21 June 1993) 231–245
✍ Scribed by Thomas Eiter; Georg Gottlob
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 34 KB
- Volume
- 118
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.