On the SUP-INF Method for Proving Presburger Formulas (1977)

by Robert E Shostak
Venue:J. ACM