@TechReport{BaaderMolitor-LTCS-99-06,
  author = 	 {F.~Baader and R.~Molitor},
  title = 	 {Rewriting Concepts using Terminologies},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  type =         {LTCS-Report},
  number =       {LTCS-99-06},
  address =      {Germany},
  year = 	 {1999},
  issuedate =    {August 1999},
  note =         {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html}
}