@InProceedings{HorSatTesTob-LPAR-2000,
  author = 	 {I.~Horrocks and U.~Sattler and S.~Tessaris and S.~Tobies},
  title = 	 {How to decide Query Containment under Constraints using a Description Logic}, 
  booktitle = 	 {Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning {(LPAR'2000)}},
  editor = {Andrei Voronkov},
  series = {Lecture Notes in Artificial Intelligence},
  publisher = {Springer Verlag},
  year =	 2000,
  number = 1955,
  springer = yes,
}