Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems
finite monadic Church-Rosser Thue systems
scientific article; zbMATH DE number 4110114
scientific article