On the SUP-INF method for proving Presburger formulas (1977)

by Robert E Shostak
Venue:Journal of the Association for Computing Machinery