arXiv 2002-07-20 EN Complexity of Nested Circumscription and Nested Abnormality Theories Cadoli, Marco · Eiter, Thomas · Gottlob, Georg