@inproceedings{hietala2021verified,
  author    = {<NAME> and
               <NAME> and
               Shih{-}<NAME> and
               <NAME> and
               <NAME>},
  title     = {A verified optimizer for Quantum circuits},
  journal   = {Proceedings of the {ACM} on Programming Languages},
  volume    = {5},
  number    = {{POPL}},
  pages     = {1--29},
  year      = {2021},
  url       = {https://doi.org/10.1145/3434318},
  doi       = {10.1145/3434318},
  timestamp = {Wed, 17 Feb 2021 08:54:02 +0100},
}