Super-exponential complexity of Presburger arithmetic (1974)

by M O Rabin, M J Fischer
Venue:In Complexity of Computation, SIAM-AMS Proceedings