Antonio Montes A New Algorithm for Discussing Gröbner Bases with Parameters. 183-208 2002 33 J. Symb. Comput. 2 http://dx.doi.org/10.1006/jsco.2001.0504 db/journals/jsc/jsc33.html#Montes02