@article{1183736429, author = {Cudia, Dennis F. and Singletary, Wilson E.}, title = {The Post Correspondence Problem}, journal = {J. Symbolic Logic}, volume = {33}, number = {1}, year = {1968}, pages = { 418-430}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736429} }
Cudia, Dennis F.; Singletary, Wilson E. The Post Correspondence Problem. J. Symbolic Logic, Tome 33 (1968) no. 1, pp. 418-430. http://gdmltest.u-ga.fr/item/1183736429/