_id,doi,title
4052,10.1016/0304-3975(91)90261-Y,A singly exponential stratification scheme for real semi-algebraic varieties and its applications
4084,10.1016/0304-3975(89)90133-3,Testing the necklace condition for shortest tours and optimal factors in the plane