Maurice Margenstern The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable. 63-99 2009 94 Fundam. Inform. 1 http://dx.doi.org/10.3233/FI-2009-118 db/journals/fuin/fuin94.html#Margenstern09