Elementary bounds for Presburger Arithmetic (1973)

by D C Oppen
Venue:In STOC’73: Proceedings of the Fifth Annual ACM Symposium on Theory of Computing