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