Hoon Honga

Honga, H., & Perry, J. (2007). Are Buchberger's criteria necessary for the chain condition? Journal of Symbolic Computation, 42(7), 717–732. https://doi.org/10.1016/jjsc.2007.02.002