Complexity of propositional nested circumscription and nested abnormality theories
Marco Cadoli‚ Thomas Eiter and Georg Gottlob
Journal
ACM Trans. Comput. Log.
Number
2
Pages
232−272
Volume
6
Year
2005
Marco Cadoli‚ Thomas Eiter and Georg Gottlob