Constantinos Bartzis Tevfik Bultan Automata-Based Representations for Arithmetic Constraints in Automated Verification. 282-288 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2608&spage=282 2002 conf/wia/2002 CIAA db/conf/wia/ciaa2002.html#BartzisB02