Commutativity in groups presented by finite Church-Rosser Thue systemsKlaus Madlener and Friedrich OttoRAIRO-Theor. Inf. Appl., 22 1 (1988) 93-111DOI: https://doi.org/10.1051/ita/1988220100931
