TY - RPRT TI - A decision procedure for unitary linear quantum cellular automata AU - Christoph Durr AU - Miklos Santha PY - 1999 UR - https://arxiv.org/abs/quant-ph/9604007 ID - quant-ph/9604007 ER -