A finitely presented monoid which has solvable word problem but has no regular complete presentation
scientific article; zbMATH DE number 985395
scientific article