@TechReport{BaaderKuestersMolitor-LTCS-00-04,
  author = 	 {F.~Baader and R.~K{\"u}sters and R.~Molitor},
  title = 	 {Rewriting Concepts Using Terminologies -- Revisited},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 2000,
  type =         {LTCS-Report},  
  number =	 {00-04},
  address =	 {Germany},
  note =	 {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}