1. S. Basu, R. Pollack, M.-F. Roy, A new algorithm to find a point in every cell defined by a family of polynomials, Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag, New York/Berlin
2. On the number of cells defined by a family of polynomials on a variety;Basu,1995
3. S. Basu, R. Pollack, M.-F. Roy, On the combinatorial and algebraic complexity of quantifier elimination (extended abstract), Proc. 35th IEEE Symposium on Foundations of Computer Science, 1994, 632, 642, Association for Computing Machinery
4. On the number of cells defined by a family of polynomials on a variety;Basu;Mathematika,1996
5. The complexity of elementary algebra and geometry;Ben-Or;J. Comput. System Sci.,1986