1. R. Berger, ?The undecidability of the domino problem,? Mem. Amer. Math. Soc.,66, 1?72 (1966).
2. Hao Wang, ?Proving theorems by pattern recognition, II,,? Bell System Tech. J.,40, 1?41 (1961).
3. Hao Wang, ?Dominoes and the AEA case of the decision problem,? in: Symposium on the Mathematical Theory of Automata, Polytechnic Institute of Brooklyn, 1962, Polytechnic Press, New York (1963).
4. Hao Wang, ?Games, logic, and computers,? in: Kibernet. Sb., Novaya Ser.,5, 195?207 (1967).