The undecidability of the domino problem (1966)

by Robert Berger
Venue:Mem. Amer. Math. Soc