Constantinos Bartzis Tevfik Bultan Efficient Symbolic Representations for Arithmetic Constraints in Verification. 605-624 2003 14 Int. J. Found. Comput. Sci. 4 http://dx.doi.org/10.1142/S0129054103001911 db/journals/ijfcs/ijfcs14.html#BartzisB03