A Pattern Matching Based Framework for Quantum Circuit Rewriting. - Hui Jiang 009; Dian-Kang Li; Yuxin Deng; Ming Xu 010 (J. Comput. Sci. Technol., 2024)