Jean-Pierre Dedieu Jean-Claude Yakoubsohn Localization of an Algebraic Hypersurface by the Exclusion Algorithm. 239-256 1991 2 Appl. Algebra Eng. Commun. Comput. db/journals/aaecc/aaecc2.html#DedieuY91 http://dx.doi.org/10.1007/BF01614147