@inproceedings{JeandelRolin2012,
  author = {Emmanuel Jeandel and Nicolas Rolin},
  title = {Fixed Parameter Undecidability for Wang Tilesets},
  booktitle = {Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012.},
  year = {2012},
  pages = {69--85},
  url = {https://doi.org/10.4204/EPTCS.90.6},
  doi = {https://doi.org/10.4204/EPTCS.90.6}
}

@inproceedings{Kari2007,
  author = {Jarkko Kari},
  title = {The Tiling Problem Revisited},
  booktitle = {MCU},
  publisher = {Springer},
  year = {2007},
  volume = {4664},
  pages = {72-79}
}

@article{AGHR02,
  author = {Noga Alon and Jaroslaw Grytczuk and Mariusz Haluszczak and Oliver Riordan},
  title = {Nonrepetitive colorings of graphs},
  journal = {Random Struct. Algorithms},
  year = {2002},
  volume = {21},
  number = {3-4},
  pages = {336--346},
  url = {https://doi.org/10.1002/rsa.10057},
  doi = {https://doi.org/10.1002/rsa.10057}
}

@book{AlonSpencer2008,
  author = {Noga Alon and Joel H. Spencer},
  title = {The probabilistic method},
  publisher = {Wiley},
  year = {2008}
}

@book{AroraBarak2009,
  author = {Arora, Sanjeev and Barak, Boaz},
  title = {Computational Complexity: A Modern Approach},
  publisher = {Cambridge University Press},
  year = {2009},
  url = {http://books.google.cl/books?id=nGvI7cOuOOQC}
}

@inbook{AubrunBarbieriJeandel2018,
  author = {Aubrun, Nathalie and Barbieri, Sebastián and Jeandel, Emmanuel},
  title = {About the Domino Problem for Subshifts on Groups},
  booktitle = {Sequences, Groups, and Number Theory},
  publisher = {Springer International Publishing},
  year = {2018},
  pages = {331--389},
  url = {https://doi.org/10.1007/978-3-319-69152-7_9},
  doi = {https://doi.org/10.1007/978-3-319-69152-7_9}
}

@inproceedings{AubrunBarbieriMoutot2019,
  author = {Aubrun, Nathalie and Barbieri, Sebastián and Moutot, Etienne},
  title = {The domino problem is undecidable on surface groups},
  booktitle = {MFCS2019 44th International Symposium on Mathematical Foundations of Computer Science},
  year = {2019},
  url = {https://hal.archives-ouvertes.fr/hal-02157971}
}

@misc{AubrunBarbieriMoutotarxiv,
  author = {Aubrun, Nathalie and Barbieri, Sebastián and Moutot, Etienne},
  title = {The domino problem is undecidable on surface groups},
  year = {2018}
}

@article{AubrunBarbieriSablik2016,
  author = {Nathalie Aubrun and Sebastián Barbieri and Mathieu Sablik},
  title = {A notion of effectiveness for subshifts on finitely generated groups},
  journal = {Theoretical Computer Science},
  year = {2017},
  volume = {661},
  pages = {35-55}
}

@article{AubrunBarbieriThomasse2018,
  author = {Nathalie Aubrun and Sebastián Barbieri and Stéphan Thomassé},
  title = {Realization of aperiodic subshifts and uniform densities in groups},
  journal = {Groups, Geometry, and Dynamics},
  publisher = {European Mathematical Publishing House},
  year = {2018},
  volume = {13},
  number = {1},
  pages = {107--129},
  url = {https://doi.org/10.4171/ggd/487},
  doi = {https://doi.org/10.4171/ggd/487}
}

@inproceedings{AubrunEsnaySablik2020,
  author = {Nathalie Aubrun and Julien Esnay and Mathieu Sablik},
  title = {Domino Problem Under Horizontal Constraints},
  booktitle = {37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)},
  year = {2020},
  url = {https://drops.dagstuhl.de/opus/volltexte/2020/11887},
  doi = {https://doi.org/10.4230/LIPIcs.STACS.2020.26}
}

@inproceedings{AubrunKari2013,
  author = {Aubrun, Nathalie and Kari, Jarkko},
  title = {Tiling Problems on Baumslag-Solitar groups.},
  booktitle = {rm Proceedings Machines, Computations and Universality 2013, rm Zürich, Switzerland, 9/09/2013 - 11/09/2013},
  publisher = {Open Publishing Association},
  year = {2013},
  volume = {128},
  pages = {35-46},
  doi = {https://doi.org/10.4204/EPTCS.128.12}
}

@article{AubrunSablik2010,
  author = {Aubrun, Nathalie and Sablik, Mathieu},
  title = {Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type},
  journal = {Acta Applicandae Mathematicae},
  publisher = {Springer Netherlands},
  year = {2013},
  volume = {126},
  number = {1},
  pages = {35-63},
  url = {http://dx.doi.org/10.1007/s10440-013-9808-5},
  doi = {https://doi.org/10.1007/s10440-013-9808-5}
}

@misc{AubrunSablik2016,
  author = {Nathalie Aubrun and Mathieu Sablik},
  title = {Row-constrained effective sets of colourings in the 2-fold horocyclic tessellations of ℌ^2 are sofic},
  year = {2016}
}

@misc{AubrunSchraudner2020,
  author = {Nathalie Aubrun and Michael Schraudner},
  title = {Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag-Solitar groups BS(1,n)},
  year = {2020}
}

@article{BallierStein2018,
  author = {Alexis Ballier and Maya Stein},
  title = {The domino problem on groups of polynomial growth},
  journal = {Groups, Geometry, and Dynamics},
  publisher = {European Mathematical Society Publishing House},
  year = {2018},
  volume = {12},
  number = {1},
  pages = {93--105},
  url = {https://doi.org/10.4171/ggd/439},
  doi = {https://doi.org/10.4171/ggd/439}
}

@inproceedings{BarbieriSablik2017,
  author = {Barbieri, Sebastián and Sablik, Mathieu},
  title = {The Domino Problem for Self-similar Structures},
  booktitle = {Pursuit of the Universal},
  publisher = {Springer International Publishing},
  year = {2016},
  pages = {205--214}
}

@article{BarbieriSablik2019,
  author = {Barbieri, Sebastián and Sablik, Mathieu},
  title = {A generalization of the simulation theorem for semidirect products},
  journal = {Ergodic Theory and Dynamical Systems},
  publisher = {Cambridge University Press},
  year = {2019},
  volume = {39},
  number = {12},
  pages = {3185–3206},
  doi = {https://doi.org/10.1017/etds.2018.21}
}

@misc{BarbieriSablik2020,
  author = {Barbieri, Sebastián and Sablik, Mathieu},
  year = {2020}
}

@misc{Bartholdi2020,
  author = {Laurent Bartholdi},
  title = {Monadic second-order logic and the domino problem on self-similar graphs},
  year = {2020}
}

@misc{BartholdiSalo2020,
  author = {Laurent Bartholdi and Ville Salo},
  title = {Simulations and the Lamplighter group},
  year = {2020}
}

@article{BeauquierMullerSchupp1999,
  author = {Beauquier, Danièle and Muller, David E. and Schupp, Paul E.},
  title = {The bar problem -- a simple tiling problem which is NP-complete on the Euclidean tessellation by squares but which is polynomial time on the hyperbolic tessellations by 4g-gons, g2},
  journal = {Contemporary Mathematics},
  year = {1999},
  volume = {250},
  pages = {29--36}
}

@phdthesis{Berger1964,
  author = {Robert Berger},
  title = {The Undecidability of the Domino Problem},
  school = {Harvard University},
  year = {1964}
}

@book{Berger1966,
  author = {Berger, Robert},
  title = {The Undecidability of the Domino Problem},
  publisher = {American Mathematical Society},
  year = {1966}
}

@phdthesis{BergerPhD,
  author = {Robert Berger},
  title = {The Undecidability of the Domino Problem},
  school = {Harvard University},
  year = {1964}
}

@article{Bernshteyn2019,
  author = {Anton Bernshteyn},
  title = {Building large free subshifts using the Local Lemma},
  journal = {Groups, Geometry, and Dynamics},
  year = {2019}
}

@article{Bernshteyn2020,
  author = {Anton Bernshteyn},
  title = {A short proof of Bernoulli disjointness via the Local Lemma},
  journal = {Proceedings of the American Mathematical Society},
  year = {to appear}
}

@article{BlockWeinberger1992,
  author = {Jonathan Block and Shmuel Weinberger},
  title = {Aperiodic Tilings, Positive Scalar Curvature, and Amenability of Spaces},
  journal = {Journal of the American Mathematical Society},
  publisher = {American Mathematical Society},
  year = {1992},
  volume = {5},
  number = {4},
  pages = {907--918},
  url = {http://www.jstor.org/stable/2152713}
}

@article{BNRR1995,
  author = {Beauquier, Danièle and Nivat, Maurice and Rémila, Eric and Robson, Mike},
  title = {Tiling Figures of the Plane with Two Bars},
  journal = {Comput. Geom. Theory Appl.},
  publisher = {Elsevier Science Publishers B. V.},
  year = {1995},
  volume = {5},
  number = {1},
  pages = {1–25},
  url = {https://doi.org/10.1016/0925-7721(94)00015-N},
  doi = {https://doi.org/10.1016/0925-7721(94)00015-N}
}

@article{Boone1959,
  author = {William W. Boone},
  title = {The word problem},
  journal = {Annals of mathematics},
  year = {1959},
  volume = {70},
  pages = {207--265}
}

@article{BS1962,
  author = {Baumslag , Gilbert and Solitar, Donald},
  title = {Some two-generator one-relator non-Hopfian groups},
  journal = {Bull. Amer. Math. Soc.},
  publisher = {American Mathematical Society},
  year = {1962},
  volume = {68},
  number = {3},
  pages = {199--201},
  url = {https://projecteuclid.org:443/euclid.bams/1183524561}
}

@article{CarrollPenland2015,
  author = {David Carroll and Andrew Penland},
  title = {Periodic points on shifts of finite type andcommensurability invariants of groups},
  journal = {New York Journal of Mathematics},
  year = {2015},
  volume = {21},
  pages = {811--822}
}

@article{Cohen2017,
  author = {David Bruce Cohen},
  title = {The large scale geometry of strongly aperiodic subshifts of finite type},
  journal = {Advances in Mathematics},
  year = {2017},
  volume = {308},
  pages = {599 - 626},
  url = {http://www.sciencedirect.com/science/article/pii/S0001870815301912},
  doi = {https://doi.org/10.1016/j.aim.2016.12.016}
}

@article{Cohen2018,
  author = {David Cohen},
  title = {Lamplighters admit weakly aperiodic SFTs},
  journal = {Groups, Geometry, and Dynamics},
  publisher = {European Mathematical Society - EMS - Publishing House GmbH},
  year = {2020},
  volume = {14},
  number = {4},
  pages = {1241--1252},
  url = {https://doi.org/10.4171/ggd/579},
  doi = {https://doi.org/10.4171/ggd/579}
}

@article{CohenGoodmanStrauss2017,
  author = {David Bruce Cohen and Chaim Goodman-Strauss},
  title = {Strongly aperiodic subshifts on surface groups},
  journal = {Groups, Geometry, and Dynamics},
  publisher = {European Mathematical Publishing House},
  year = {2017},
  volume = {11},
  number = {3},
  pages = {1041--1059},
  url = {https://doi.org/10.4171/ggd/421},
  doi = {https://doi.org/10.4171/ggd/421}
}

@misc{CohenGSRieck2017,
  author = {David Bruce Cohen and Chaim Goodman-Strauss and Yo'av Rieck},
  title = {Strongly aperiodic subshifts of finite type on hyperbolic groups},
  year = {2017}
}

@article{Culik1996,
  author = {Culik, I. K.},
  title = {An aperiodic set of 13 Wang tiles},
  journal = {Discrete Mathematics},
  publisher = {Elsevier Science Publishers B. V.},
  year = {1996},
  volume = {160},
  number = {1-3},
  pages = {245--251}
}

@inbook{CulikKari1996,
  author = {Culik, Karel and Kari, Jarkko},
  title = {An aperiodic set of Wang cubes},
  booktitle = {J.UCS The Journal of Universal Computer Science: Annual Print and CD-ROM Archive Edition Volume 1 textbullet 1995},
  publisher = {Springer Berlin Heidelberg},
  year = {1996},
  pages = {675--686},
  url = {https://doi.org/10.1007/978-3-642-80350-5_57},
  doi = {https://doi.org/10.1007/978-3-642-80350-5_57}
}

@article{DahmaniYaman2008,
  author = {François Dahmani and Asli Yaman},
  title = {Symbolic dynamics and relatively hyperbolic groups},
  journal = {Groups, Geometry, and Dynamics},
  year = {2008},
  volume = {2},
  number = {2},
  pages = {165 - 184}
}

@proceedings{DBLP:conf/mcu/2007,,
  title = {Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings},
  booktitle = {MCU},
  publisher = {Springer},
  year = {2007},
  volume = {4664}
}

@book{delaHarpe2000,
  author = {Pierre de la Harpe},
  title = {Topics in Geometric Group Theory},
  year = {2000}
}

@misc{DestombesRomashchenko2018,
  author = {Julien Destombes and Andrei Romashchenko},
  title = {Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts},
  year = {2018}
}

@article{Diekert2012,
  author = {Volker Diekert and Jürn Laun and Alexander Ushakov},
  title = {Efficient algorithms for highly compressed data: the Word Problem in Higman's Group is in P},
  journal = {International Journal of Algebra and Computation},
  publisher = {World Scientific Pub Co Pte Lt},
  year = {2012},
  volume = {22},
  number = {08},
  pages = {1240008},
  url = {https://doi.org/10.1142/s0218196712400085},
  doi = {https://doi.org/10.1142/s0218196712400085}
}

@article{Diestel2004,
  author = {Diestel, Reinhard},
  title = {A short proof of Halin's grid theorem},
  journal = {Abh. Math. Sem. Univ. Hamburg},
  year = {2004},
  volume = {74},
  pages = {237--242}
}

@inbook{DurandRomashchenkoShen2010,
  author = {Durand, Bruno and Romashchenko, Andrei and Shen, Alexander},
  title = {Effective Closed Subshifts in 1D Can Be Implemented in 2D},
  booktitle = {Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday},
  publisher = {Springer Berlin Heidelberg},
  year = {2010},
  pages = {208--226},
  url = {https://doi.org/10.1007/978-3-642-15025-8_12},
  doi = {https://doi.org/10.1007/978-3-642-15025-8_12}
}

@misc{Elek2017,
  author = {Gabor Elek},
  title = {On uniformly recurrent subgroups of finitely generated groups},
  year = {2017}
}

@misc{EsnayMoutot2020,
  author = {Julien Esnay and Etienne Moutot},
  title = {Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups},
  year = {2020}
}

@article{FarbMosher1998,
  author = {Benson Farb and Lee Mosher},
  title = {A rigidity theorem for the solvable Baumslag-Solitar groups},
  journal = {Inventiones Mathematicae},
  year = {1998},
  volume = {131},
  pages = {419--451},
  doi = {https://doi.org/10.1007/s002220050210}
}

@misc{GangloffSablik2018,
  author = {Silvère Gangloff and Mathieu Sablik},
  title = {Simulation of minimal effective dynamical systems on the Cantor sets by minimal tridimensional subshifts of finite type},
  year = {2018}
}

@article{GaoJacksonSeward2009,
  author = {Gao,Su and Jackson,Steve and Seward,Brandon},
  title = {A coloring property for countable groups},
  journal = {Mathematical Proceedings of the Cambridge Philosophical Society},
  year = {2009},
  volume = {147},
  pages = {579--592}
}

@book{GhysdelaHarpe1990,
  author = {Ghys, Etienne and de la Harpe, Pierre},
  title = {Sur les Groupes Hyperboliques d'après Mikhael Gromov},
  publisher = {Birkhäuser Boston},
  year = {1990}
}

@article{GJS2009,
  author = {Gao,Su and Jackson,Steve and Seward,Brandon},
  title = {A coloring property for countable groups},
  journal = {Mathematical Proceedings of the Cambridge Philosophical Society},
  year = {2009},
  volume = {147},
  pages = {579--592}
}

@misc{GlasnerWeiss2018,
  author = {Eli Glasner and Benjamin Weiss},
  title = {On minimal actions of countable groups},
  year = {2018}
}

@article{GoodmanStrauss2010,
  author = {Chaim Goodman-Strauss},
  title = {A hierarchical strongly aperiodic set of tiles in the hyperbolic plane},
  journal = {Theoretical Computer Science},
  year = {2010},
  volume = {411},
  number = {7},
  pages = {1085 - 1093},
  url = {http://www.sciencedirect.com/science/article/pii/S0304397509008123},
  doi = {https://doi.org/10.1016/j.tcs.2009.11.018}
}

@article{GurevichKoryakov1972,
  author = {Yu. Sh. Gurevich and I. O. Koryakov},
  title = {Remarks on Berger's paper on the domino problem},
  journal = {Siberian Mathematical Journal},
  publisher = {Springer Science and Business Media LLC},
  year = {1972},
  volume = {13},
  number = {2},
  pages = {319--321},
  url = {https://doi.org/10.1007/bf00971620},
  doi = {https://doi.org/10.1007/bf00971620}
}

@article{Higman1951,
  author = {Higman, Graham},
  title = {A Finitely Related Group with An Isomorphic Proper Factor Group},
  journal = {Journal of the London Mathematical Society},
  year = {1951},
  volume = {s1-26},
  number = {1},
  pages = {59-61},
  url = {https://doi.org/10.1112/jlms/s1-26.1.59},
  doi = {https://doi.org/10.1112/jlms/s1-26.1.59}
}

@article{Higman1951bis,
  author = {Higman, Graham},
  title = {A Finitely Generated Infinite Simple Group},
  journal = {Journal of the London Mathematical Society},
  year = {1951},
  volume = {s1-26},
  number = {1},
  pages = {61-64}
}

@article{Hochman2007,
  author = {Hochman, Michael},
  title = {On the Dynamics and Recursive Properties of Multidimensional Symbolic Systems},
  journal = {Inventiones Mathematicae},
  publisher = {Springer},
  year = {2009},
  volume = {176},
  number = {1},
  pages = {131--167}
}

@article{HochmanMeyerovitch2010,
  author = {Michael Hochman and Tom Meyerovitch},
  title = {A characterization of the entropies of multidimensional shifts of finite type},
  journal = {Annals of Mathematics},
  publisher = {Annals of Mathematics},
  year = {2010},
  volume = {171},
  number = {3},
  pages = {2011--2038},
  url = {http://www.jstor.org/stable/20752256}
}

@article{Hooper1966,
  author = {Philip Hooper},
  title = {The undecidability of the Turing machine immortality problem},
  journal = {The Journal of Symbolic Logic},
  year = {1966},
  volume = {31},
  pages = {219--234},
  doi = {https://doi.org/10.2307/2269811}
}

@article{Jeandel2010,
  author = {Emmanuel Jeandel},
  title = {The periodic domino problem revisited},
  journal = {Theoretical Computer Science},
  year = {2010},
  volume = {411},
  number = {44},
  pages = {4010 - 4016},
  url = {http://www.sciencedirect.com/science/article/pii/S0304397510004524},
  doi = {https://doi.org/10.1016/j.tcs.2010.08.017}
}

@misc{Jeandel2015aperiodic,
  author = {Emmanuel Jeandel},
  title = {Aperiodic Subshifts of Finite Type on Groups},
  year = {2015}
}

@misc{Jeandel2015poly,
  author = {Emmanuel Jeandel},
  title = {Aperiodic Subshifts on Polycyclic Groups},
  journal = {CoRR},
  year = {2015},
  volume = {abs/1510.02360},
  url = {http://arxiv.org/abs/1510.02360}
}

@misc{Jeandel2015translation,
  author = {Emmanuel Jeandel},
  title = {Translation-like Actions and Aperiodic Subshifts on Groups},
  journal = {CoRR},
  year = {2015},
  volume = {abs/1508.06419},
  url = {http://arxiv.org/abs/1508.06419}
}

@inbook{JeandelVanier2020,
  author = {Jeandel, Emmanuel and Vanier, Pascal},
  title = {The Undecidability of the Domino Problem},
  booktitle = {Substitution and Tiling Dynamics: Introduction to Self-inducing Structures: CIRM Jean-Morlet Chair, Fall 2017},
  publisher = {Springer International Publishing},
  year = {2020},
  pages = {293--357},
  url = {https://doi.org/10.1007/978-3-030-57666-0_6},
  doi = {https://doi.org/10.1007/978-3-030-57666-0_6}
}

@misc{Jiang2017,
  author = {Yongle Jiang},
  title = {Translation-like actions yield regular maps},
  year = {2017}
}

@article{KahrMooreWang1962,
  author = {Andrew Seth Kahr and Edward F. Moore and Hao Wang},
  title = {Entscheidungsproblem reduced to the ∀∃∀ case},
  journal = {Proceedings of the National Academy of Sciences of the United States of America},
  year = {1962},
  volume = {48},
  number = {3},
  pages = {365--377}
}

@article{Kari1996,
  author = {Kari, J.},
  title = {A small aperiodic set of Wang tiles},
  journal = {Discrete Mathematics},
  year = {1996},
  volume = {160},
  pages = {259 - 264},
  url = {http://www.sciencedirect.com/science/article/pii/0012365X9500120L},
  doi = {https://doi.org/10.1016/0012-365X(95)00120-L}
}

@inproceedings{KariMoutot2020,
  author = {Jarkko Kari and Etienne Moutot},
  title = {Decidability and Periodicity of Low Complexity Tilings},
  booktitle = {37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum für Informatik},
  year = {2020},
  volume = {154},
  pages = {14:1--14:12},
  url = {https://drops.dagstuhl.de/opus/volltexte/2020/11875},
  doi = {https://doi.org/10.4230/LIPIcs.STACS.2020.14}
}

@article{KassMadden2013,
  author = {Steve Kass and Kathleen Madden},
  title = {A sufficient condition for non-soficness of higher-dimensional subshifts},
  journal = {Proc. Amer. Math. Soc.},
  year = {2013},
  volume = {141},
  pages = {3803-3816}
}

@article{Kasteleyn1961,
  author = {P.W. Kasteleyn},
  title = {The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice},
  journal = {Physica},
  year = {1961},
  volume = {27},
  number = {12},
  pages = {1209 - 1225},
  doi = {https://doi.org/10.1016/0031-8914(61)90063-5}
}

@inproceedings{Kenyon98,
  author = {Richard Kenyon},
  title = {The Planar Dimer Model With Boundary: A Survey.},
  booktitle = {CRM Proceedings and Lecture Notes},
  year = {1998},
  pages = {307--328}
}

@inproceedings{KenyonKenyon1992,
  author = {C. Kenyon and R. Kenyon},
  title = {Tiling a polygon with rectangles},
  booktitle = {Proceedings., 33rd Annual Symposium on Foundations of Computer Science},
  year = {1992},
  pages = {610-619},
  doi = {https://doi.org/10.1109/SFCS.1992.267790}
}

@article{KuskeLohrey2005,
  author = {Dietrich Kuske and Markus Lohrey},
  title = {Logical aspects of Cayley-graphs: the group case},
  journal = {Annals of Pure and Applied Logic},
  year = {2005},
  volume = {131},
  number = {1--3},
  pages = {263 - 286},
  url = {http://www.sciencedirect.com/science/article/pii/S0168007204000831},
  doi = {https://doi.org/10.1016/j.apal.2004.06.002}
}

@article{Lind1984,
  author = {Lind, Douglas A.},
  title = {The entropies of topological Markov shifts and a related class of algebraic integers},
  journal = {Ergodic Theory and Dynamical Systems},
  publisher = {Cambridge University Press},
  year = {1984},
  volume = {4},
  number = {2},
  pages = {283–300},
  doi = {https://doi.org/10.1017/S0143385700002443}
}

@book{LindMarcus1995,
  author = {Lind, Douglas and Marcus, Brian},
  title = {An Introduction to Symbolic Dynamics and Coding},
  publisher = {Cambridge University Press},
  year = {1995}
}

@book{LovaszPlummer2009,
  author = {László Lovász and Michael D. Plummer},
  title = {Matching Theory},
  publisher = {American Mathematical Society},
  year = {2009},
  url = {https://www.amazon.com/Matching-Theory-Laszlo-Lovasz/dp/0821847597?SubscriptionId=AKIAIOBINVZYXZQZ2U3A&tag=chimbori05-20&linkCode=xm2&camp=2025&creative=165953&creativeASIN=0821847597}
}

@book{LyndonSchupp2001,
  author = {Roger C. Lyndon and Paul E. Schupp},
  title = {Combinatorial Group Theory},
  publisher = {Springer-Verlag Berlin Heidelberg},
  year = {2001},
  doi = {https://doi.org/10.1007/978-3-642-61896-3}
}

@article{Magnus1932,
  author = {W. Magnus},
  title = {Das Identit�tsproblem f�r Gruppen mit einer definierenden Relation},
  journal = {Mathematische Annalen},
  publisher = {Springer Science and Business Media LLC},
  year = {1932},
  volume = {106},
  number = {1},
  pages = {295--307},
  url = {https://doi.org/10.1007/bf01455888},
  doi = {https://doi.org/10.1007/bf01455888}
}

@article{MarcinkowskiNowak2014,
  author = {Marcinkowski, Michał and Nowak, Piotr},
  title = {Aperiodic tilings of manifolds of intermediate growth},
  journal = {Groups, Geometry, and Dynamics},
  publisher = {European Mathematical Society Publishing House},
  year = {2014},
  volume = {8},
  number = {2},
  pages = {479–483},
  url = {http://dx.doi.org/10.4171/GGD/235},
  doi = {https://doi.org/10.4171/ggd/235}
}

@book{Meier2008,
  author = {Meier, John},
  title = {Groups, Graphs and Trees: An Introduction to the Geometry of Infinite Groups},
  publisher = {Cambridge University Press},
  year = {2008},
  doi = {https://doi.org/10.1017/CBO9781139167505}
}

@article{Miller2012,
  author = {Joseph S. Miller},
  title = {Two notes on subshifts},
  journal = {Proceedings of the American Mathematical Society},
  year = {2012},
  number = {140},
  pages = {1617--1622}
}

@article{MorseHedlund1938,
  author = {Gustav Hedlund and Marston Morse},
  title = {Symbolic dynamics},
  journal = {American Journal of Mathematics},
  year = {1938},
  volume = {60},
  number = {4},
  pages = {815--866}
}

@article{Mozes1989,
  author = {Mozes, Shahar},
  title = {Tilings, substitution systems and dynamical systems generated by them},
  journal = {Journal d'analyse mathématique (Jerusalem)},
  publisher = {Hebrew University},
  year = {1989},
  volume = {53},
  pages = {139--186}
}

@article{MullerSchupp1985,
  author = {David E. Muller and Paul E. Schupp},
  title = {The theory of ends, pushdown automata, and second-order logic},
  journal = {Theoretical Computer Science},
  year = {1985},
  volume = {37},
  number = {0},
  pages = {51 - 75},
  url = {http://www.sciencedirect.com/science/article/pii/0304397585900878},
  doi = {https://doi.org/10.1016/0304-3975(85)90087-8}
}

@article{Novikov1954,
  author = {P. S. Novikov},
  title = {On Algorithmic Unsolvability of the Word Problem},
  journal = {Journal of Symbolic Logic},
  publisher = {Association for Symbolic Logic},
  year = {1954},
  volume = {19},
  number = {1},
  pages = {58--60},
  doi = {https://doi.org/10.2307/2267661}
}

@article{OrmesPavlov2016,
  author = {Ormes, Nic and Pavlov, Ronnie},
  title = {Extender sets and multidimensional subshifts},
  journal = {Ergodic Theory and Dynamical Systems},
  publisher = {Cambridge University Press},
  year = {2016},
  volume = {36},
  number = {3},
  pages = {908–923},
  doi = {https://doi.org/10.1017/etds.2014.71}
}

@article{PavlovSchraudner2015,
  author = {Pavlov, Ronnie and Schraudner, Michael},
  title = {Entropies realizable by block gluing Z^d shifts of finite type},
  journal = {Journal d'Analyse Mathématique},
  year = {2015},
  volume = {126},
  number = {1},
  pages = {113--174},
  url = {https://doi.org/10.1007/s11854-015-0014-4},
  doi = {https://doi.org/10.1007/s11854-015-0014-4}
}

@article{Piantadosi2008,
  author = {Steven T. Piantadosi},
  title = {Symbolic dynamics on free groups},
  journal = {Discrete and Continuous Dynamical Systems},
  year = {2008},
  volume = {20},
  number = {3},
  pages = {725--738}
}

@article{Robinson1971,
  author = {Robinson, Raphael},
  title = {Undecidability and nonperiodicity for tilings of the plane},
  journal = {Inventiones Mathematicae},
  year = {1971},
  volume = {12},
  pages = {177--209}
}

@article{Robinson1978,
  author = {Robinson, Raphael M.},
  title = {Undecidable tiling problems in the hyperbolic plane},
  journal = {Inventiones Mathematicae},
  year = {1978},
  volume = {44},
  pages = {159-264}
}

@book{Rogers1987,
  author = {Rogers, Hartley},
  title = {Theory of Recursive Functions and Effective Computability},
  publisher = {MIT Press},
  year = {1987}
}

@inproceedings{SablikSchraudner2016,
  author = {Mathieu Sablik and Michael Schraudner},
  title = {Algorithmic Complexity for the Realization of an Effective Subshift By a Sofic},
  booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  year = {2016},
  volume = {55},
  pages = {110:1--110:14},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/6245},
  doi = {https://doi.org/10.4230/LIPIcs.ICALP.2016.110}
}

@misc{SahinSchraudnerUgarcovici2020,
  author = {Ayse A. Sahin and Michael Schraudner and Ilie Ugarcovici},
  title = {A strongly aperiodic shift of finite type for the discrete Heisenberg group},
  year = {2020}
}

@inproceedings{Salo2020,
  author = {Ville Salo},
  title = {Four Heads are Better than Three},
  booktitle = {Cellular Automata and Discrete Complex Systems - 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings},
  publisher = {Springer},
  year = {2020},
  volume = {12286},
  pages = {111--125},
  url = {https://doi.org/10.1007/978-3-030-61588-8_9},
  doi = {https://doi.org/10.1007/978-3-030-61588-8%5C_9}
}

@article{Seward2014,
  author = {Brandon Seward},
  title = {Burnside's Problem, Spanning Trees and Tilings},
  journal = {Geometry and Topology},
  year = {2014},
  volume = {18},
  pages = {179--210},
  doi = {https://doi.org/10.2140/gt.2014.18.179}
}

@mastersthesis{SilvaMuller2020,
  author = {Silva Müller, Eduardo Alejandro},
  title = {Subshifts en los grupos de Baumslag-Solitar solubles no-abelianos},
  school = {Universidad de Chile},
  year = {2020},
  url = {http://repositorio.uchile.cl/handle/2250/176132}
}

@article{Stallings1968,
  author = {John R. Stallings},
  title = {On Torsion-Free Groups with Infinitely Many Ends},
  journal = {Annals of Mathematics},
  publisher = {Annals of Mathematics},
  year = {1968},
  volume = {88},
  number = {2},
  pages = {312--334},
  url = {http://www.jstor.org/stable/1970577}
}

@article{Stallings1968,
  author = {John R. Stallings},
  title = {On Torsion-Free Groups with Infinitely Many Ends},
  journal = {Annals of Mathematics},
  publisher = {Annals of Mathematics},
  year = {1968},
  volume = {88},
  number = {2},
  pages = {312--334},
  url = {http://www.jstor.org/stable/1970577}
}

@article{Swan1969,
  author = {Richard G. Swan},
  title = {Groups of cohomological dimension one},
  journal = {Journal of Algebra},
  year = {1969},
  volume = {12},
  number = {4},
  pages = {585 - 610},
  url = {http://www.sciencedirect.com/science/article/pii/0021869369900301},
  doi = {https://doi.org/10.1016/0021-8693(69)90030-1}
}

@article{TemperleyFisher1961,
  author = {H. N. V. Temperley and Michael E. Fisher},
  title = {Dimer problem in statistical mechanics-an exact result},
  journal = {The Philosophical Magazine: A Journal of Theoretical Experimental and Applied Physics},
  publisher = {Taylor & Francis},
  year = {1961},
  volume = {6},
  number = {68},
  pages = {1061-1063},
  doi = {https://doi.org/10.1080/14786436108243366}
}

@article{Wang1961,
  author = {Hao Wang},
  title = {Proving theorems by pattern recognition II.},
  journal = {Bell System Technical Journal},
  year = {1961},
  volume = {40},
  number = {1-3},
  pages = {1--41}
}

@article{Whyte1999,
  author = {Kevin Whyte},
  title = {Amenability, Bilipschitz equivalence, and the Von Neumann Conjecture},
  journal = {Duke Mathematical Journal},
  year = {1999},
  volume = {99},
  number = {1},
  pages = {93--112},
  doi = {https://doi.org/10.1215/S0012-7094-99-09904-0}
}

@article{Whyte2001,
  author = {Kevin Whyte},
  title = {The large scale geometry of the higher Baumslag-Solitar groups},
  journal = {GAFA Geometric And Functional Analysis},
  year = {2001},
  volume = {11},
  pages = {1327--1343},
  doi = {https://doi.org/10.1007/s00039-001-8232-6}
}

@article{Woess1989,
  author = {Wolfgang Woess},
  title = {Graphs and groups with tree-like properties},
  journal = {Journal of Combinatorial Theory, Series B},
  year = {1989},
  volume = {47},
  number = {3},
  pages = {361 - 371}
}

@article{Woess2005,
  author = {Woess, Wolfgang},
  title = {Lamplighters, Diestel–Leader Graphs, Random Walks, and Harmonic Functions},
  journal = {Combinatorics, Probability and Computing},
  publisher = {Cambridge University Press},
  year = {2005},
  volume = {14},
  number = {3},
  pages = {415–433},
  doi = {https://doi.org/10.1017/S0963548304006443}
}