John F. Canny Computing Roadmaps of General Semi-Algebraic Sets. 94-107 1991 conf/aaecc/1991 AAECC db/conf/aaecc/aaecc1991.html#Canny91 http://dx.doi.org/10.1007/3-540-54522-0_99