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