@article{journals/tocl/CadoliEG05,
  author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
  doi = "10.1145/1055686.1055688",
  journal = "{ACM} Trans. Comput. Log.",
  number = "2",
  pages = "232-272",
  title = "Complexity of propositional nested circumscription and nested abnormality theories",
  volume = "6",
  year = "2005",
}