1. C. Allauzen, B. Durand, Appendix A: Tiling Problems, The Classical Decision Problem, Springer, Berlin, 1996, pp. 407–420.
2. The undecidability of the domino problem;Berger;Mem. Amer. Math. Soc.,1966
3. The Classical Decision Problem;Börger,1996
4. J. Cervelle, B. Durand, Tilings: recursivity and regularity, in: STACS’00, Lecture Notes in Computer Science, Vol. 1770, Springer, Berlin, 2000, pp. 491–502.
5. Inversion of 2D cellular automata;Durand;Theoret. Comput. Sci.,1994