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

by P Wolper, B Boigelot
Venue:In Static Analysis, 2nd Intl. Symp., volume 983 of Lecture