@techreport{GHLS06a,
  title = "Conjunctive Query Answering in the Description Logic SHIQ",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
  year = "2006",
  address = "Germany",
  institution = "Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology",
  number = "LTCS-06-01",
}