https://intlibrary.ir/download/quantifier-elimination-and-cylindrical-algebraic-d-41144/