A linear speed-up theorem for cellular automata
scientific article; zbMATH DE number 64583