@article{journals/tcs/EiterG93,
  title = "{Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete}",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1993",
  journal = "Theor. Comput. Sci.",
  number = "2",
  pages = "231-245",
  volume = "114",
}