On extensions of Presburger arithmetic (1986)

by G Cherlin, F Point
Venue:In Proc. 4th Easter Model Theory Conf., Humboldt Univ