@article{journals/ipl/Gottlob87,
  title = "Subsumption and Implication",
  author = "Georg Gottlob",
  year = "1987",
  journal = "Inf. Process. Lett.",
  number = "2",
  pages = "109-111",
  volume = "24",
}