@inproceedings{HoSa03a,
  title = "Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2003",
  booktitle = "Proc.\ of the 18th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2003)",
  isbn = "0-92705-663-7",
  pages = "343--348",
  publisher = "Morgan Kaufmann, Los Altos",
  url = "download/2003/HoSa03a.pdf",
}