@article{journals/ai/CadoliEG92,
  title = "An Efficient Method for Eliminating Varying Predicates from a Circumscription",
  author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
  year = "1992",
  journal = "Artif. Intell.",
  number = "2",
  pages = "397-410",
  volume = "54",
}