@inproceedings{GHLS07a,
  title = "Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
  year = "2007",
  booktitle = "Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)",
  pages = "399--404",
  url = "download/2007/GHLS07a.pdf",
}