
@article{doi:10.1002/j.1538-7305.1961.tb03975.x,
author = {Wang, Hao},
title = {Proving Theorems by Pattern Recognition — II},
journal = {Bell System Technical Journal},
volume = {40},
number = {1},
pages = {1-41},
year = {1961}
}

@book{berger1966undecidability,
  title={The Undecidability of the Domino Problem},
  author={Berger, R.},
  isbn={9780821812662},
  series={Memoirs ; No 1/66},
  url={https://books.google.com/books?id=mLfTCQAAQBAJ},
  year={1966},
  publisher={American Mathematical Society}
}

@Article{Robinson1971,
author="Robinson, Raphael M.",
title="Undecidability and nonperiodicity for tilings of the plane",
journal="Inventiones mathematicae",
year="1971",
month="Sep",
day="01",
volume="12",
number="3",
pages="177--209",
issn="1432-1297",
doi="10.1007/BF01418780",
url="https://doi.org/10.1007/BF01418780"
}

@book{Grunbaum:1986:TP:19304,
 author = {Gr\"{u}nbaum, Branko and Shephard, G C},
 title = {Tilings and Patterns},
 year = {1986},
 isbn = {0-716-71193-1},
 publisher = {W. H. Freeman \& Co.},
 address = {New York, NY, USA},
} 

@article{Kari:1996:SAS:245761.245817,
 author = {Kari, Jarkko},
 title = {A Small Aperiodic Set of Wang Tiles},
 journal = {Discrete Math.},
 issue_date = {Nov. 15, 1996},
 volume = {160},
 number = {1-3},
 month = nov,
 year = {1996},
 issn = {0012-365X},
 pages = {259--264},
 numpages = {6},
 url = {http://dx.doi.org/10.1016/0012-365X(95)00120-L},
 doi = {10.1016/0012-365X(95)00120-L},
 acmid = {245817},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
} 

@article{DBLP:journals/corr/JeandelR15,
  author    = {Emmanuel Jeandel and
               Micha{\"{e}}l Rao},
  title     = {An aperiodic set of 11 Wang tiles},
  journal   = {CoRR},
  volume    = {abs/1506.06492},
  year      = {2015},
  url       = {http://arxiv.org/abs/1506.06492},
  archivePrefix = {arXiv},
  eprint    = {1506.06492},
  timestamp = {Mon, 13 Aug 2018 16:48:45 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JeandelR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}