Quantifier elimination following Muchnik, Université de Mons-Hainaut, Institute de (1985)

by C Michaux, A Ozturk
Venue:Mathématique, Preprint 10, April 11, 2002, http://math.umh.ac.be/preprints/src/Ozturk020411.pdf 16 M. Marten, Geometry of polynomials, AMS Surveys 3, Third edition