Undecidable questions related to Church-Rosser Thue systems
scientific article; zbMATH DE number 3807596