Complexity of Nested Circumscription and Abnormality Theories - Cadoli, M; Eiter, T; Gottlob, G (Morgan Kaufmann, 2001)