@inproceedings{GHLS07a,
  title = "Conjunctive Query Answering in the Description Logic SHIQ",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
  year = "2007",
  booktitle = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
}