M. Cadoli, T. Eiter, G. Gottlob: "Complexity of Nested Circumscription and Nested Abnormality Theories"; ACM Transactions on Computational Logic, 6 (2005), 2; 232 - 272.