Definable criterion for definability in Presburger Arithmetic and its application, preprint, Institute of New Technologies (1991)

by A Muchnik