Linear and Non-linear Relational Analyses for Quantum Program Optimization. - Matthew Amy; Joseph Lunderville (Proc. ACM Program. Lang., 2025)