@Book{ScMo07,
  author = 	 {C. Schultz and R. M{\"o}ller},
  title = 	 {Quantifier Elimination of Real Closed Fields in the Context of Applied Description Logic},
  publisher = 	 {Verlag Dr. M{\"u}ller},
  year = 	 {2007},
}