Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions
scientific article; zbMATH DE number 7902298