- Amirhossein Akbar Tabatabai, “Witnessing flows in arithmetic”, Math. Struct. Comp. Sci., 2024,
1 
- Lev Dmitrievich Beklemishev, “On the unification problem for
$\mathrm{GLP}$ ”, Известия Российской академии наук. Серия математическая, 89, no. 1, 2025,3 - Lev Dmitrievich Beklemishev, “On the unification problem for
$\mathrm{GLP}$ ”, Izv. Math., 89, no. 1, 2025,1 - Lev D. Beklemishev, Fedor N. Pakhomov, Model Theory, Computer Science, and Graph Polynomials, 2025,
91