@article{1183395203, author = {Post, Emil L.}, title = {Recursive Unsolvability of a Problem of Thue}, journal = {J. Symbolic Logic}, volume = {12}, number = {1}, year = {1947}, pages = { 1-11}, language = {en}, url = {http://dml.mathdoc.fr/item/1183395203} }
Post, Emil L. Recursive Unsolvability of a Problem of Thue. J. Symbolic Logic, Tome 12 (1947) no. 1, pp. 1-11. http://gdmltest.u-ga.fr/item/1183395203/