DOI,IST REx ID,Title of publication
10.1016/0304-3975(91)90261-Y,4052,A singly exponential stratification scheme for real semi-algebraic varieties and its applications