Marie-Françoise Roy Nicolai Vorobjov Computing the Complexification of a Semi-Algebraic Set. 26-34 1996 ISSAC http://doi.acm.org/10.1145/236869.236891 db/conf/issac/issac96.html#RoyV96