@Article{HorrSattTob-IGPL,
  author = 	 {I. Horrocks and U. Sattler and S. Tobies},
  title = 	 {Practical Reasoning for Very Expressive Description Logics},
  journal = 	 {Logic Journal of the IGPL},
  year = 	 2000,
  volume =       8,
  number =       3,
  month =        "May",
  pages =        {239--264},
  igpl =         yes,
}