@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/