@misc{indiciae31c626f70f2f,
  title = {Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams},
  author = {Lukas Burgholzer and Antonio Jiménez-Pastor and Kim G. Larsen and Mirco Tribastone and Max Tschaikowski and Robert Wille},
  year = {2024},
  url = {https://arxiv.org/abs/2308.09510},
  note = {Source identifier: 2308.09510}
}