Mohammad Ali Ghodrat Tony Givargis Alexandru Nicolau Equivalence checking of arithmetic expressions using fast evaluation. 147-156 2005 conf/cases/2005 CASES http://doi.acm.org/10.1145/1086297.1086317 db/conf/cases/cases2005.html#GhodratGN05