Volker Weispfenning Canonical comprehensive Gröbner bases. 669-683 2003 36 J. Symb. Comput. 3-4 http://dx.doi.org/10.1016/S0747-7171(03)00099-3 db/journals/jsc/jsc36.html#Weispfenning03