Olivier Finkel Highly Undecidable Problems about Recognizability by Tiling Systems. 305-323 2009 91 Fundam. Inform. 2 http://dx.doi.org/10.3233/FI-2009-0045 db/journals/fuin/fuin91.html#Finkel09