On extensions of Presburger arithmetic (1986)

by G Cherlin, F Point
Venue:Seminarberichte 86, Humboldt University, Berlin