Elementary bounds for Presburger arithmetic (1973)

by D C Oppen
Venue:In Proceedings of the 5th annual ACM Symposium on Theory of Computing (STOC