Elementary Bounds for Presburger Arithmetic

Derek C. Oppen

Browse the full STOC paper archive.