@techreport{HSTT99,
  title = "Query Containment Using a {DLR} {ABox}",
  author = "I. Horrocks and U. Sattler and S. Tessaris and S. Tobies",
  year = "1999",
  address = "Germany",
  annote = "AKA: HorrocksSattler+-LTCS-99-15",
  institution = "LuFG Theoretical Computer Science, RWTH Aachen",
  number = "99-15",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1999/HorrocksSattler+-LTCS-99-15.pdf",
}