Precise bounds for presburger arithmetic and the reals with addition: Preliminary report | IEEE Conference Publication | IEEE Xplore