DOI,IST REx ID,Title of publication
10.1007/BFb0035760,4092,A singly exponential stratification scheme for real semi-algebraic varieties and its applications