@TechReport{BaaderKuesters-LTCS-01-05,
  author =	 {F.~Baader and R.~K{\"u}sters},
  title =	 {Unification in a Description Logic with Transitive Closure of Roles},
  institution =	 {LuFG Theoretical Computer Science, RWTH Aachen},
  year =	 2001,
  type =	 {LTCS-Report},
  number =	 {01-05},
  address =	 {Germany},
  note =	 {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}