Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4(442) (2018), 3–52 ; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613
Beklemishev L.D., “A Universal Algebra For the Variable-Free Fragment of Rc Del”, Logical Foundations of Computer Science (Lfcs 2018), Lecture Notes in Computer Science, 10703, eds. Artemov S., Nerode A., Springer International Publishing Ag, 2018, 91–106
A. Cordón-Franco, D. Fernández-Duque, J. J. Joosten, F. F. Lara-Martín, “Predicativity through transfinite reflection”, J. Symb. Log., 82:3 (2017), 787–808
L. D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Logic, language, information, and computation, Lecture Notes in Comput. Sci., 10388, Springer, Berlin, 2017, 48–67