- ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, no. 1, 2019, 205
- L. D. Beklemishev, Turing’s Revolution, 2015, 225
- Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
- FEDOR PAKHOMOV, JAMES WALSH, “REFLECTION RANKS AND ORDINAL ANALYSIS”, J. symb. log., 86, no. 4, 2021, 1350
- Lev D. Beklemishev, Fedor N. Pakhomov, Model Theory, Computer Science, and Graph Polynomials, 2025, 91
- Lev Dmitrievich Beklemishev, Daniyar Salkarbekovich Shamkanov, Ivan Nikolaevich Smirnov, “Фрагменты арифметики и циклические выводы”, Математический сборник, 216, no. 10, 2025, 3