@TechReport{BaaderKuestersMolitor-LTCS-99-12,
  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 = 	 1999,
  type =         {LTCS-Report},  
  number =	 {99-12},
  address =	 {Germany},
  note =	 {Please refer to the revised version LTCS-Report 00-04.}
}