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

by Pierre Wolper, Bernard Boigelot
Venue:In Proc. Static Analysis Symposium, LNCS 983