@InProceedings{HorrocksSattler-IJCAI2003,
  author =       {I. Horrocks and U. Sattler},
  title =        {Decidability of SHIQ with Complex Role Inclusion Axioms},
  booktitle =    {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003)},
  year =         2003,
  publisher = {Morgan-Kaufmann Publishers}
}