@inproceedings{conf/eurocal/GottlobL85,
  title = "Fast Subsumption Algorithms",
  author = "Georg Gottlob and Alexander Leitsch",
  year = "1985",
  booktitle = "{EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}",
  editor = "B. F. Caviness",
  isbn = "3-540-15984-3",
  pages = "64-77",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "204",
}