M. Cadoli, T. Eiter, G. Gottlob: "Complexity of Nested Circumscription and Nested Abnormality Theories"; Report for Institut f. Informationssysteme, TU Wien; 2002.