QCIR: Pattern Matching Based Universal Quantum Circuit Rewriting Framework. - Mingyu Chen 009; Yu Zhang 086; Yongshang Li; Zhen Wang 075; Jun Li 001; Xiangyang Li 001 (ICCAD, 2022)