@misc{indiciaeac9cc5136156,
  title = {A decision procedure for well-formed linear quantum cellular automata},
  author = {Christoph Durr and Huong LeThanh and Miklos Santha},
  year = {2000},
  url = {https://arxiv.org/abs/cs/9906024},
  note = {Source identifier: cs/9906024}
}