Leonard Berman. Precise Bounds for Presburger Arithmetic and the Reals with Addition: Preliminary Report. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 95-99, IEEE, 1977.
Abstract is missing.