Zhao, Z.; Li, T.; Li, Z.; Yin, J. Relational Verification for Cost-Aware Quantum Program Optimization. AAAI 2026, 40, 14414-14422.