Z. Zhao, T. Li, Z. Li, and J. Yin, “Relational Verification for Cost-Aware Quantum Program Optimization”, AAAI, vol. 40, no. 17, pp. 14414–14422, Mar. 2026.