V.: Finding equivalent rewritings in the presence of arithmetic comparisons (2006)

by F N Afrati, R Chirkova, M Gergatsoulis, Pavlaki
Venue:In: EDBT