Volker Weispfenning Canonical comprehensive Gröbner bases. 270-276 2002 conf/issac/2002 ISSAC http://doi.acm.org/10.1145/780506.780541 db/conf/issac/issac2002.html#Weispfenning02