TY  - RPRT
TI  - Verified compilation of space-efficient reversible circuits
AU  - Matthew Amy
AU  - Martin Roetteler
AU  - Krysta Svore
PY  - 2018
DO  - 10.1007/978-3-319-63390-9_1
UR  - https://arxiv.org/abs/1603.01635
ID  - 1603.01635
ER  -