Oleg Golubitsky Marina V. Kondratieva Marc Moreno Maza Alexey Ovchinnikov A bound for the Rosenfeld-Gröbner algorithm. 582-610 2008 43 J. Symb. Comput. 8 http://dx.doi.org/10.1016/j.jsc.2007.12.002 db/journals/jsc/jsc43.html#GolubitskyKMO08