Quantifier Elimination Over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations door Claudia Schultz & Ralf Moeller