_id,doi,title
4092,10.1007/BFb0035760,A singly exponential stratification scheme for real semi-algebraic varieties and its applications