- 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