2 citations to https://www.mathnet.ru/rus/lncs32

1. CHRIS SCHULZ, “UNDEFINABILITY OF MULTIPLICATION IN PRESBURGER ARITHMETIC WITH SETS OF POWERS”, J. symb. log., 2023, 1  
2. Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020), 1681–1693