The reachability problem for finite cellular automata
scientific article; zbMATH DE number 986047