Volker Weispfenning Comprehensive Gröbner Bases. 1-30 1992 14 J. Symb. Comput. 1 db/journals/jsc/jsc14.html#Weispfenning92