Presburger formulas and languages (1966)

by Semigroups
Venue:Pacific Journal of Mathematics