@TechReport{BaaderKuesters-LTCS-99-07-1999,
  author = 	 {F. Baader and R. K{\"u}sters},
  title = 	 {Matching in Description Logics with Existential Restrictions}, 
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen},
  year = 	 1999,
  type =         {LTCS-Report},
  number =	 {LTCS-99-07},
  address =	 {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html}
}