%0 Journal Article %A Choffrut, Christian %T Deciding whether a relation defined in Presburger logic can be defined in weaker logics %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2008 %P 121-135 %V 42 %N 1 %I EDP-Sciences %U https://doi.org/10.1051/ita:2007047 %R 10.1051/ita:2007047 %G en %F ITA_2008__42_1_121_0