An automata-theoretic approach to Presburger arithmetic constraints (1995)

by Pierre Wolper, Bernard Boigelot
Venue:In Proc. 2nd Int. Symp. Static Analysis (SAS’95