Foto N. Afrati Rada Chirkova Manolis Gergatsoulis Vassia Pavlaki Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons. 942-960 2006 conf/edbt/2006 EDBT http://dx.doi.org/10.1007/11687238_55 db/conf/edbt/edbt2006.html#AfratiCGP06