Deciding whether a relation defined in Presburger logic can be defined in weaker logicsChristian ChoffrutRAIRO-Theor. Inf. Appl., 42 1 (2008) 121-135DOI: https://doi.org/10.1051/ita:2007047
