The domino problem of the hyperbolic plane is undecidable
scientific article; zbMATH DE number 5368319
scientific article