Quantifier Elimination And Cylindrical Algebraic Decomposition 1998