TY  - JOUR
AU  - Avenhaus, Jürgen
AU  - Book, Ronald V.
AU  - Squier, Craig C.
TI  - On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
JO  - RAIRO. Informatique théorique
PY  - 1984
SP  - 47
EP  - 52
VL  - 18
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1984__18_1_47_0/
LA  - en
ID  - ITA_1984__18_1_47_0
ER  -