A decision procedure for unitary linear quantum cellular automata | Publicación