Pietro di Lena Luciano Margara Undecidable Properties of Limit Set Dynamics of Cellular Automata. 337-347 2009 STACS http://drops.dagstuhl.de/opus/volltexte/2009/1819 conf/stacs/2009 db/conf/stacs/stacs2009.html#LenaM09