Equivalence Checking of Arithmetic Expressions Using Fast Evaluation

M. Ghodrat, and T. Givargis, "Equivalence Checking of Arithmetic Expressions Using Fast Evaluation," TR 05-07, July 2005. download pdf