Andrea E. F. Clementi Russell Impagliazzo The Reachability Problem for Finite Cellular Automata. 27-31 1995 53 Inf. Process. Lett. 1 db/journals/ipl/ipl53.html#ClementiI95 http://dx.doi.org/10.1016/0020-0190(94)00169-Y