Presburger formulas and languages (1966)

by S Ginsburg, E H Spanier, “Semigroups
Venue:Pacific Journal of Mathematics