Interpretations of Presburger Arithmetic in Itself. - Alexander Zapryagaev; Fedor Pakhomov (LFCS, 2018)

Multi-dimensional Interpretations of Presburger Arithmetic in Itself. - Fedor Pakhomov; Alexander Zapryagaev (J. Log. Comput., 2020)