@misc{indiciae3ac639719ff5,
  title = {Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata},
  author = {Shenggen Zheng and Daowen Qiu and Jozef Gruska},
  year = {2015},
  doi = {10.1016/j.ic.2015.02.003},
  url = {https://arxiv.org/abs/1304.3876},
  note = {Source identifier: 1304.3876}
}