Hoon Hong John Perry Are Buchberger's criteria necessary for the chain condition? 717-732 2007 42 J. Symb. Comput. 7 http://dx.doi.org/10.1016/j.jsc.2007.02.002 db/journals/jsc/jsc42.html#HongP07