Precise bounds for presburger arithmetic and the reals with addition: Preliminary reportLeonard Berman1977FOCS 1977