@misc{indiciaee156d27d105c,
  title = {Equivalence Checking of Quantum Finite-State Machines},
  author = {Qisheng Wang and Junyi Liu and Mingsheng Ying},
  year = {2022},
  doi = {10.1016/j.jcss.2020.08.004},
  url = {https://arxiv.org/abs/1901.02173},
  note = {Source identifier: 1901.02173}
}