@inproceedings{conf/ijcai/CadoliEG01,
  title = "Complexity of Nested Circumscription and Abnormality Theories",
  author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
  year = "2001",
  booktitle = "{Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001}",
  editor = "Bernhard Nebel",
  isbn = "1-55860-777-3",
  pages = "169-174",
  publisher = "Morgan Kaufmann",
}