@article{journals/ai/GottlobF93,
  title = "Removing Redundancy from a Clause",
  author = "Georg Gottlob and Christian G. Ferm{\"u}ller",
  year = "1993",
  journal = "Artif. Intell.",
  number = "2",
  pages = "263-289",
  volume = "61",
}