@misc{indiciae8bc6701e06a7,
  title = {Partial Equivalence Checking of Quantum Circuits},
  author = {Tian-Fu Chen and Jie-Hong R. Jiang and Min-Hsiu Hsieh},
  year = {2022},
  doi = {10.1109/qce53715.2022.00082},
  url = {https://arxiv.org/abs/2208.07564},
  note = {Source identifier: 2208.07564}
}