Super-exponential complexity of Presburger arithmetic, (1974)

by M 1 Fischer, M Rabin
Venue:SIAM-AMS Proceedings