Tevfik Bultan Richard Gerber Christopher League Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. 113-123 1998 ISSTA http://doi.acm.org/10.1145/271771.271799 db/conf/issta/issta98.html#BultanGL98