A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. - Ioualalen, Arnault; Martel, Matthieu (2012)