@inproceedings{HSTT00,
  title = "How to decide Query Containment under Constraints using a Description Logic",
  author = "I. Horrocks and U. Sattler and S. Tessaris and S. Tobies",
  year = "2000",
  annote = "AKA: Horrocks99p",
  booktitle = "Proc.\ of the 7th Int.\ Conf.\ on Logic for Programming and Automated Reasoning (LPAR~2000)",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Artificial Intelligence",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/lpar00.pdf",
}