@misc{indiciae9566996aad91,
  title = {Assertion-Based Optimization of Quantum Programs},
  author = {Thomas Häner and Torsten Hoefler and Matthias Troyer},
  year = {2020},
  doi = {10.1145/3428201},
  url = {https://arxiv.org/abs/1810.00375},
  note = {Source identifier: 1810.00375}
}