1. Ballier, A., Durand, B., Jeandel, E.: Structural aspects of tilings. In: 25th International Symposium on Theoretical Aspects of Computer Science, STACS (2008)
2. Berger, R.: The undecidability of the domino problem. Memoirs of the American Mathematical Society 66 (1966)
3. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. In: Perspectives in Mathematical Logic. Springer, Heidelberg (1997)
4. Cervelle, J., Durand, B.: Tilings: recursivity and regularity. Theoretical computer science 310(1-3), 469–477 (2004)
5. Durand, B., Levin, L.A., Shen, A.: Complex Tilings. In: STOC, pp. 732–739 (2001)