@misc{indiciae4c1209faa0e3,
  title = {An Application of Quantum Finite Automata to Interactive Proof Systems},
  author = {Harumichi Nishimura and Tomoyuki Yamakami},
  year = {2004},
  doi = {10.1016/j.jcss.2008.12.001},
  url = {https://arxiv.org/abs/quant-ph/0410040},
  note = {Source identifier: quant-ph/0410040}
}