Maurice Margenstern The finite tiling problem is undecidable in the hyperbolic plane http://arxiv.org/abs/cs/0703147 2007 CoRR abs/cs/0703147 db/journals/corr/corr0703.html#abs-cs-0703147