A note on Post's correspondence problem
Matiyasevich's 3-rule Thue system with undecidable word problem
scientific article; zbMATH DE number 3762036