@misc{indiciaedda8f262b7e8,
  title = {Towards Large-scale Functional Verification of Universal Quantum Circuits},
  author = {Matthew Amy},
  year = {2019},
  doi = {10.4204/eptcs.287.1},
  url = {https://arxiv.org/abs/1805.06908},
  note = {Source identifier: 1805.06908}
}