Interpretations of Presburger Arithmetic in Itself.

Alexander Zapryagaev, Fedor Pakhomov

Browse the full LFCS paper archive.