A. A. Zapryagaev, “On interpretations of Presburger arithmetic in Büchi arithmetics”, Dokl. Math., 107:2 (2023), 89–92
Albert Visser, “Friedman-reflexivity”, Annals of Pure and Applied Logic, 173:9 (2022), 103160
Aleksandr Aleksandrovich Zapryagaev, Matematicheskie osnovy informatiki i informatsionno-kommunikatsionnykh sistem, 2021, 156