Groups presented by finite two-monadic Church-Rosser Thue systems - Avenhaus, Jürgen 1941-; Madlener, Klaus; Otto, Friedrich (Univ., 1984)