Commutativity in groups presented by finite Church-Rosser Thue systems - Madlener, Klaus; Otto, Friedrich (Univ., 1986)