A Search Algorithm for Subshift Attractors of Cellular Automata. - Enrico Formenti; Petr Kurka; Ondrej Zahradník (Theory Comput. Syst., 2010)