@TechReport{KuestersMolitor-LTCS-00-05,
  author = 	 {R.~K{\"u}sters and R.~Molitor},
  title = 	 {Computing Most Specific Concepts in Description Logics with Existential Restrictions},
  institution =  {LuFG Theoretical Computer Science},
  year = 	 2000,
  type =	 {LTCS-Report},
  number =	 {00-05},
  address =	 {RWTH Aachen, Germany}
}