@techreport{HoSa02b,
  title = "Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2002",
  institution = "Lehrstuhl f{\"u}r Automatentheorie Institut f{\"u}r Theoretische Informatik, TU Dresden",
  number = "02-06",
  url = "download/2002/HoSa02b.pdf",
}