Rand, R. ., Paykin, J. ., Lee, D.-H. ., & Zdancewic, S. . (2019). ReQWIRE: Reasoning about Reversible Quantum Circuits. EPTCS, 287. http://doi.org/10.4204/EPTCS.287.17 (Original work published January 2019)