On undecidable dynamical properties of reversible one-dimensional cellular automata - Lukkarila, Ville, 1980- (Turku Centre for Computer Science, 2010)