Recursive Unsolvability of a Problem of Thue (1947)

by E L Post
Venue:Journal of Symbolic Logic