@article{journals/tcs/EiterG06,
  author = "Thomas Eiter and Georg Gottlob",
  doi = "10.1016/j.tcs.2006.07.054",
  journal = "Theor. Comput. Sci.",
  number = "1-3",
  pages = "82-115",
  title = "Reasoning under minimal upper bounds in propositional logic",
  volume = "369",
  year = "2006",
}