@article{journals/jacm/GottlobL85,
  title = "On the Efficiency of Subsumption Algorithms",
  author = "Georg Gottlob and Alexander Leitsch",
  year = "1985",
  journal = "J. {ACM}",
  number = "2",
  pages = "280-295",
  url = "http://doi.acm.org/10.1145/3149.214118",
  volume = "32",
}