@inproceedings{HoTe00,
  title = "A Conjunctive Query Language for Description Logic {ABoxes}",
  author = "Ian Horrocks and Sergio Tessaris",
  year = "2000",
  annote = "AKA: Horrocks00c",
  booktitle = "Proc.\ of the 17th Nat.\ Conf.\ on Artificial Intelligence (AAAI~2000)",
  pages = "399--404",
  url = "download/2000/HoTe00.pdf",
}