John Perry 0001 An extension of Buchberger's criteria for Gröbner basis decision. 111-129 2010 13 LMS J. Comput. Math. https://doi.org/10.1112/s1461157008000193 db/journals/lmsjcm/lmsjcm13.html#000110