Laureano González-Vega Neila Gonzalez-Campos Simultaneous Elimination by using Several Tools from Real Algebraic Geometry. 89-103 1999 28 J. Symb. Comput. 1-2 db/journals/jsc/jsc28.html#Gonzalez-VegaG99