H. Wang, Proving Theorems by Pattern Recognition - II, Bell System Technical Journal, vol.40, issue.1, pp.1-41, 1961.
DOI : 10.1002/j.1538-7305.1961.tb03975.x

R. Berger, The undecidability of the domino problem, Memoirs of the American Mathematical Society, vol.0, issue.66, 1964.
DOI : 10.1090/memo/0066

R. Robinson, Undecidability and nonperiodicity for tilings of the plane, Inventiones Mathematicae, vol.40, issue.3, pp.177-209, 1971.
DOI : 10.1007/BF01418780

J. Kari, The Tiling Problem Revisited (Extended Abstract), MCU, pp.72-79, 2007.
DOI : 10.1007/978-3-540-74593-8_6

N. Ollinger, Two-by-Two Substitution Systems and the Undecidability of the Domino Problem, CiE, pp.476-485, 2008.
DOI : 10.1007/978-3-540-69407-6_51

URL : https://hal.archives-ouvertes.fr/hal-00204625

B. Durand, A. E. Romashchenko, and A. Shen, Fixed Point and Aperiodic Tilings, Developments in Language Theory, pp.276-288, 2008.
DOI : 10.1007/978-3-540-85780-8_22

URL : http://arxiv.org/abs/0802.2432

Y. S. Gurevich and I. Koryakov, Remarks on Berger's paper on the domino problem, Siberian Mathematical Journal, vol.40, issue.2, pp.319-321, 1972.
DOI : 10.1007/BF00971620

C. Allauzen and B. Durand, Tiling Problems, in: The Classical Decision Problem, Perspectives in Mathematical Logic, pp.407-420, 2001.

J. Kari, The Nilpotency Problem of One-Dimensional Cellular Automata, SIAM Journal on Computing, vol.21, issue.3, pp.571-586, 1992.
DOI : 10.1137/0221036

S. O. Aanderaa and H. R. Lewis, Linear sampling and the ????????? case of the decision problem, The Journal of Symbolic Logic, vol.68, issue.03, pp.519-548, 1974.
DOI : 10.2307/2272894

J. Kari and P. Papasoglu, Deterministic Aperiodic Tile Sets, Geometric And Functional Analysis, vol.9, issue.2, pp.353-369, 1999.
DOI : 10.1007/s000390050090

B. , L. Gloannec, and N. Ollinger, Substitutions and strongly deterministic tilesets, CiE, pp.2012-462
URL : https://hal.archives-ouvertes.fr/hal-00661887

V. Lukkarila, The 4-way deterministic tiling problem is undecidable, Theoretical Computer Science, vol.410, issue.16, pp.1516-1533, 2009.
DOI : 10.1016/j.tcs.2008.12.006

J. Mazoyer and I. Rapaport, Global fixed point attractors of circular cellular automata and periodic tilings of the plane: Undecidability results, Discrete Mathematics, vol.199, issue.1-3, pp.103-122, 1999.
DOI : 10.1016/S0012-365X(98)00203-9