- L. D. Beklemishev, Turing’s Revolution, 2015, 225
- Haruka Kogure, Taishi Kurahashi, “On the conservation results for local reflection principles”, Journal of Logic and Computation, 2024, exad076
- Anton Freund, “Slow reflection”, Annals of Pure and Applied Logic, 168, no. 12, 2017, 2103
- Evan Goris, “Interpolation and the Interpretability Logic of PA”, Notre Dame J. Formal Logic, 47, no. 2, 2006
- Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
- Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, no. 2, 2005, 3
- Taishi Kurahashi, “Henkin sentences and local reflection principles for Rosser provability”, Annals of Pure and Applied Logic, 167, no. 2, 2016, 73
- A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín, “On the Optimality of Conservation Results for Local Reflection in Arithmetic”, J. symb. log., 78, no. 4, 2013, 1025
- ANTON FREUND, “A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH”, The Review of Symbolic Logic, 15, no. 4, 2022, 880
- Michael Glanzberg, “TRUTH, REFLECTION, AND HIERARCHIES”, Synthese, 142, no. 3, 2005, 289