Recursive unsolvability of a problem of Thue (1947)

by E Post
Venue:The Journal of Symbolic Logic