@misc{indiciaef49086af9518,
  title = {Equivalence Checking of Dynamic Quantum Circuits},
  author = {Xin Hong and Yuan Feng and Sanjiang Li and Mingsheng Ying},
  year = {2021},
  url = {https://arxiv.org/abs/2106.01658},
  note = {Source identifier: 2106.01658}
}