Christoph Dürr Miklos Santha A Decision Procedure for Unitary Linear Quantum Cellular Automata. 38-45 1996 FOCS db/conf/focs/focs96.html#DurrS96