A singly exponential stratification scheme for real semi-algebraic varieties and its applications
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, in:, 16th International Colloquium on Automata, Languages, and Programming, Springer, 1989, pp. 179–193.