@InProceedings{HorrocksSattlerTobies-M4M-99,
  author = 	 {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
  title = 	 {Practical Reasoning for Description Logics with Functional Restrictions,
  Inverse and Transitive Roles, and Role Hierarchies},
  booktitle = 	 {Proceedings of the 1999 Workshop Methods for Modalities (M4M-1)},
  year =	 1999,
  address =	 {Amsterdam}
}