Pierre Wolper Bernard Boigelot An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) 21-32 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#WolperB95