Karel Culík II Sheng Yu 0001 Undecidability of CA Classification Schemes. 1988 2 Complex Syst. 2 http://www.complex-systems.com/abstracts/v02_i02_a02.html db/journals/compsys/compsys2.html#CulikY88