1. N. N. Vorob'ev and D. Yu. Grigor'ev, “Solution of a system of polynomial inequalities over real-closed fields in subexponential time,” Zapiski Nauchn. Semin. Leningrad. Otdel. Mat. Inst.,174, 3–36 (1988).
2. D. Yu. Grigor'ev, “Complexity of decision of the first order theory of real-closed fields,” Zapiski Nauchn. Semin. Leningr. Otdel. Mat. Inst.,174, 53–100 (1988).
3. A. Tarski, A Decision Method for Elementary Algebra and Geometry, U. Calif. Press, Berkeley (1951).
4. G. E. Collins, “Quantifier elimination for real closed fields by cylindrical algebraic decomposition,” Lect. Notes Comput. Sci.,33, 134–183 (1975).
5. Kh. R. Vyutrikh, “Decision method for the theory of real-closed fields,” Kibernet. Sb.,18, 100–124 (1981).