@TechReport{BaaderKuesters+-LTCS-98-09,
  author = 	 {F.~Baader and R.~K{\"u}sters and R.~Molitor},
  title = 	 {Computing Least Common Subsumers in Description Logics with 
Existential Restrictions},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1998,
  type =         {LTCS-Report},  
  number =	 {LTCS-98-09},
  address =	 {Germany},
  note =	 {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.}
}