When is a monoid a group? The Church-Rosser case is tractable
finite monadic Church-Rosser Thue system
scientific article; zbMATH DE number 3770930