Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits | IEEE Conference Publication | IEEE Xplore