Jonas Månsson Patrik Nordbeck Regular Gröbner Bases. 163-181 2002 33 J. Symb. Comput. 2 http://dx.doi.org/10.1006/jsco.2001.0500 db/journals/jsc/jsc33.html#ManssonN02