1. J. Bochnak, M. Coste, and M.-F. Roy, Géométrie Algébrique Réelle, Springer-Verlag, Berlin-Heidelberg-New York (1987).
2. A. L. Chistov, “Polynomial-complexity algorithm for factoring polynomials and constructing components of a variety in subexponential time,” Zap. Nauchn. Semin. LOMI, 137, 124–188 (1984).
3. A. L. Chistov, “Polynomial-time computation of the dimensions of components of algebraic varieties in zero-characteristic,” J. Pure Appl. Algebra, 117 & 118, 145–175 (1997).
4. A. L. Chistov, “Polynomial-time computation of the degrees of algebraic varieties over a field of characteristic zero and its applications,” Zap. Nauchn. Semin. POMI, 258, 7–59 (1999).
5. A. L. Chistov, “Strong version of the basic deciding algorithm for the first-order existential theory of real-closed fields,” Zap. Nauchn. Semin. POMI, 256, 168–211 (1999).