Finding equivalent rewritings in the presence of arithmetic comparisons
['Μανώλης Γεργατσούλης', 'Φώτο Αφράτη', 'Rada Chirkova', 'Βάσια Παυλάκη', 'Foto N. Afrati', 'Vassia Pavlaki', 'Manolis Gergatsoulis']
Finding equivalent rewritings in the presence of arithmetic comparisons