Recursive unsolvability of a problem of Thue (1947)

by E L Post
Venue:J. Symbolic Logic