@techreport{GHLS06a,
  title = "Conjunctive Query Answering for $\mathcal{SHIQ}$",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Ulrike Sattler",
  year = "2006",
  institution = "University of Manchester",
  url = "download/2006/GHLS06a.pdf",
}