@inproceedings{conf/ogai/Gottlob91,
  title = "On the Complexity of Clause Condensing",
  author = "Georg Gottlob",
  year = "1991",
  booktitle = "{Proc. 7th Austrian Conference on Artificial Intelligence, {\"O}GAI-91, Wien, 24.-27. September 1991}",
  editor = "Hermann Kaindl",
  pages = "16-29",
  publisher = "Springer",
  series = "Informatik-Fachberichte",
  volume = "287",
}