TY - RPRT TI - Complexity of Nested Circumscription and Nested Abnormality Theories AU - Marco Cadoli AU - Thomas Eiter AU - Georg Gottlob PY - 2002 UR - https://arxiv.org/abs/cs/0207072 ID - cs/0207072 ER -