On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
RAIRO. Inform. théor., 18 1 (1984) 47-52
Published online: 01 February 2017
DOI: 10.1051/ita/1984180100471