@misc{indiciae89f6b47a30bf,
  title = {Verified compilation of space-efficient reversible circuits},
  author = {Matthew Amy and Martin Roetteler and Krysta Svore},
  year = {2018},
  doi = {10.1007/978-3-319-63390-9\_1},
  url = {https://arxiv.org/abs/1603.01635},
  note = {Source identifier: 1603.01635}
}