Groups presented by finite two-monadic Church-Rosser Thue systems - Madlener, Klaus (1984)