On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoidsJürgen Avenhaus, Ronald V. Book and Craig C. SquierRAIRO. Inform. théor., 18 1 (1984) 47-52DOI: https://doi.org/10.1051/ita/1984180100471
