Expression Equivalence Checking using Interval Analysis

M. Ghodrat, and T. Givargis, "Expression Equivalence Checking using Interval Analysis," TR 05-06, May 2005. download pdf