Title: Biblio RTF Export
Author: Biblio 7.x

H.  Deng, Tao, R., Peng, Y., and Wu, X., ?A Case for Synthesis of Recursive Quantum Unitary Programs?, Proceedings of the ACM on Programming Languages, vol. 8, pp. 1759?1788, 2024.