Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano. Efficiently computing minimal sets of critical pairs. Journal of Symbolic Computation, 38(4):1169-1190, 2004. [doi]
@article{CaboaraKR04, title = {Efficiently computing minimal sets of critical pairs}, author = {Massimo Caboara and Martin Kreuzer and Lorenzo Robbiano}, year = {2004}, doi = {10.1016/j.jsc.2003.08.009}, url = {http://dx.doi.org/10.1016/j.jsc.2003.08.009}, researchr = {https://researchr.org/publication/CaboaraKR04}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {38}, number = {4}, pages = {1169-1190}, }