On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids

Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C.

RAIRO. Informatique théorique, Volume 18 (1984) p. 47-52