Proving Query Equivalence Using Linear Integer Arithmetic. - Haoran Ding; Zhaoguo Wang; Yicun Yang; Dexin Zhang; Zhenglin Xu; Haibo Chen 001; Ruzica Piskac; Jinyang Li 001 (Proc. ACM Manag. Data, 2023)