@TechReport{HorrocksSattler-LTCS-02-06,
  author = 	 {I. Horrocks and U. Sattler},
  title = 	 {Decidability of {SHIQ} with Complex Role Inclusion Axioms},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year = 	 2002,
  type =	 {LTCS-Report},
  number =	 {LTCS-02-06},
  address =	 {Germany},
  note =	 {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}