``Real-time'' equivalence of cellular automata and linear-bounded automata
scientific article; zbMATH DE number 3568038