Characterizing and Verifying Queries Via CINSGEN - Hanze Meng; Zhengjie Miao; Amir Gilad; Sudeepa Roy; Jun Yang (SIGMOD, 2023)