Hanze Meng, Miao, Zhengjie , Gilad, Amir , Roy, Sudeepa , and Yang, Jun . 2023. “Characterizing And Verifying Queries Via Cinsgen”. In Sigmod, Pp. 143–146.