Program Equivalence Checking for the Facilitation of Quantum Offloading. - Jon Speer; Jukka K. Nurminen (CCWC, 2021)