@TechReport{HorrocksSattler-LTCS-01-08,
  author = 	 {I. Horrocks and U. Sattler},
  title = 	 {Optimised Reasoning for SHIQ},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 2001,
  type =	 {LTCS-Report},
  number =	 {LTCS-01-08},
  address =	 {Germany},
  note =	 {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}