Enrico Formenti Petr Kurka A Search Algorithm for the Maximal Attractor of a Cellular Automaton. 356-366 2007 conf/stacs/2007 STACS http://dx.doi.org/10.1007/978-3-540-70918-3_31 db/conf/stacs/stacs2007.html#FormentiK07