Greg Reid Lihong Zhi Solving polynomial systems via symbolic-numeric reduction to geometric involutive form. 280-291 2009 44 J. Symb. Comput. 3 http://dx.doi.org/10.1016/j.jsc.2007.10.013 db/journals/jsc/jsc44.html#ReidZ09