The definable criterion for definability in Presburger arithmetic and its applications.
scientific article; zbMATH DE number 1965218