1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Ábrahám,2016
2. Arnon, D.S.: Algorithms for the geometry of semi-algebraic sets. Ph.D. thesis. Technical report 436, Computer Science Department, University of Wisconsin-Madison (1981)
3. Lecture Notes in Computer Science;C Barrett,2011
4. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.6. Technical report, Department of Computer Science, The University of Iowa (2017)
5. Basu, S., Pollack, R., Roy, M.F.: On the combinatorial and algebraic complexity of quantifier elimination. JACM 43(6), 1002–1045 (1996). https://doi.org/10.1145/235809.235813