@conference {MengMGRY23,
	title = {Characterizing and Verifying Queries Via CINSGEN},
	booktitle = {SIGMOD},
	year = {2023},
	pages = {143{\textendash}146},
	author = {Hanze Meng and Zhengjie Miao and Amir Gilad and Sudeepa Roy and Jun Yang}
}
