Recursive unsolvability of a problem of Thue (0)

by E L Post
Venue:Journal of Symbolic Loqic