Wenchao Wang, Jing Qin, Jinlu Liu, Xi Zhang, Xinyi Hou, Zhongkai Wei: The Analysis of Schnorr Multi-Signatures and the Application to AI. AIS&P (1) 2023: 114-130