@article(BaumslagSolitar1962,
 author       = "Gilbert Baumslag and Donald Solitar",
 year         = "1962",
 title        = "Some two-generator one-relator non-{H}opfian groups",
 journal      = "Bulletin of the American Mathematical Society",
 volume       = "68",
 pages        = "199--201",
 doi          = "10.1090/S0002-9904-1962-10745-9",
)
@article(Berger1966,
 author       = "Robert Berger",
 year         = "1966",
 title        = "The {U}ndecidability of the {D}omino {P}roblem",
 journal      = "American Mathematical Society",
)
@proceedings(DBLP:conf/mcu/2007,
 editor       = "J{\'e}r{\^o}me Olivier Durand-Lose and Maurice Margenstern",
 year         = "2007",
 title        = "Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orl{\'e}ans, France, September 10-13, 2007, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "4664",
 publisher    = "Springer",
)
@article(GoodmanStrauss2000,
 author       = "Chaim Goodman-Strauss",
 year         = "2000",
 title        = "Open {Q}uestions in {T}ilings",
 journal      = "Unpublished",
)
@article(DBLP:journals/tcs/Goodman-Strauss10,
 author       = "Chaim Goodman-Strauss",
 year         = "2010",
 title        = "A hierarchical strongly aperiodic set of tiles in the hyperbolic plane",
 journal      = "Theoretical Computer Science",
 volume       = "411",
 number       = "7-9",
 pages        = "1085--1093",
 doi          = "10.1016/j.tcs.2009.11.018",
)
@article(Hooper1966,
 author       = "Philip Hooper",
 year         = "1966",
 title        = "The undecidability of the {T}uring machine immortality problem",
 journal      = "The Journal of Symbolic Logic",
 volume       = "31",
 pages        = "219--234",
 doi          = "10.2307/2269811",
)
@inproceedings(Jeandel2012,
 author       = "Emmanuel Jeandel",
 year         = "2012",
 title        = "On {I}mmortal {C}onfigurations in {T}uring {M}achines",
 booktitle    = "Proceeding of CIE 2012",
 series       = "Lecture Notes in Computer Science",
 volume       = "7318",
 publisher    = "Springer-Verlag",
 pages        = "334--343",
 doi          = "10.1007/978-3-642-30870-3\_34",
)
@article(KarrassPietrowskiSolitar1973,
 author       = "Abe Karass and Alfred Pietrowski and Donald Solitar",
 year         = "1973",
 title        = "Finite and infinite cyclic extensions of free groups",
 journal      = "Journal of the Australian Mathematical Society",
 volume       = "16",
 pages        = "458--466",
 doi          = "10.1017/S1446788700015445",
)
@article(DBLP:journals/dm/Kari96,
 author       = "Jarkko Kari",
 year         = "1996",
 title        = "A small aperiodic set of Wang tiles",
 journal      = "Discrete Mathematics",
 volume       = "160",
 number       = "1-3",
 pages        = "259--264",
 url          = "http://dx.doi.org/10.1016/0012-365X(95)00120-L",
)
@inproceedings(DBLP:conf/mcu/Kari07,
 author       = "Jarkko Kari",
 year         = "2007",
 title        = "The Tiling Problem Revisited",
 editor       = "Durand-Lose and Margenstern",
 pages        = "72--79",
 url          = "http://dx.doi.org/10.1007/978-3-540-74593-8_6",
)
@article(KuskeLohrey2005,
 author       = "Dietrich Kuske and Markus Lohrey",
 year         = "2005",
 title        = "Logical aspects of {C}ayley-graphs: the group case",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "131",
 number       = "1-3",
 pages        = "263--286",
 doi          = "10.1017/S1446788700015445",
)
@book(LindMarcus95,
 author       = "Douglas Lind and Brian Marcus",
 year         = "1995",
 title        = "An Introduction to Symbolic Dynamics and Coding",
 publisher    = "Cambridge",
 doi          = "10.1017/CBO9780511626302",
)
@book(LyndonSchupp1977,
 author       = "Roger C. Lyndon and Paul E. Schupp",
 year         = "1977",
 title        = "Combinatorial group theory",
 publisher    = "Springer-Verlag",
)
@article(Magnus1932,
 author       = "Walter Magnus",
 year         = "1932",
 title        = "Das {I}dentitätsproblem f{\"u}r {G}ruppen mit einer definierenden {R}elation",
 journal      = "Mathematische Annalen",
 volume       = "1",
 pages        = "295--307",
 doi          = "10.1007/BF01455888",
)
@article(Margenstern2008,
 author       = "Maurice Margenstern",
 year         = "2008",
 title        = "The domino problem of the hyperbolic plane is undecidable",
 journal      = "Theoretical Computer Science",
 volume       = "407",
 number       = "1-3",
 pages        = "29--84",
 doi          = "10.1016/j.tcs.2008.04.038",
)
@article(Meskin1972,
 author       = "Stephen Meskin",
 year         = "1972",
 title        = "Nonresidually {F}inite {O}ne-{R}elator {G}roups",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "164",
 pages        = "105--114",
 doi          = "10.1090/S0002-9947-1972-0285589-5",
)
@article(MullerSchupp1985,
 author       = "David E. Muller and Paul E. Schupp",
 year         = "1985",
 title        = "The theory of ends, pushdown automata, and second-order logic",
 journal      = "Theoretical Computer Science",
 volume       = "37",
 pages        = "51--75",
 doi          = "10.1016/0304-3975(85)90087-8",
)
@article(Rabin1958,
 author       = "Michael O. Rabin",
 year         = "1958",
 title        = "Recursive {U}nsolvability of {G}roup {T}heoretic {P}roblems",
 journal      = "Annals of Mathematics",
 volume       = "67",
 number       = "1",
 pages        = "pp. 172--194",
 doi          = "10.2307/1969933",
)
@article(Wang1961,
 author       = "Hao Wang",
 year         = "1961",
 title        = "Proving theorems by pattern recognition {II}",
 journal      = "Bell System Technical Journal",
 volume       = "40",
 number       = "1-3",
 pages        = "1--41",
)