Title: Biblio RTF Export
Author: Biblio 7.x

R.  Rand, Paykin, J., Lee, D. - H., and Zdancewic, S., ?ReQWIRE: Reasoning about Reversible Quantum Circuits?, EPTCS , vol. 287, 2019.