The (generalized) Post Correspondence Problem with lists consisting of two words is decidable (1982)

by A Ehrenfeucht, J Karhumäki, G Rozenberg
Venue:Theoret. Comput. Sci