@misc{indiciae4df9d1a9b686, title = {Complexity of Nested Circumscription and Nested Abnormality Theories}, author = {Marco Cadoli and Thomas Eiter and Georg Gottlob}, year = {2002}, url = {https://arxiv.org/abs/cs/0207072}, note = {Source identifier: cs/0207072} }