Saugata Basu Combinatorial complexity in O-minimal geometry. 47-56 2007 conf/stoc/2007 STOC http://doi.acm.org/10.1145/1250790.1250798 db/conf/stoc/stoc2007.html#Basu07