1. Basu, S., Pollack, R., Roy, M.-F.: Existential theory of the reals, volume 10 of algorithms and computation in mathematics. Springer, Berlin (2006)
2. Berman, L.: The complexity of logical theories. Theor. Comput. Sci. 11, 71–77 (1980)
3. Bialas, W.F., Karwan, M.H.: Two-level linear programming. Manag. Sci. 30(8), 1004–1020 (1984)
4. Bradley, A.R., Manna, Z.: The calculus of computation - decision procedures with applications to verification, first edition. Springer, Berlin (2007)
5. Brown, C.W.: QEPCAD B: A Program for computing with semi-algebraic sets using CADs. ACM SIGSAM Bull. 37(4), 97–108 (2003)