- Thomas F. Icard, Joost J. Joosten, “Provability and Interpretability Logics with Restricted Realizations”, Notre Dame J. Formal Logic, 53, no. 2, 2012
- Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
- Giorgi Japaridze, Dick de Jongh, 137, Handbook of Proof Theory, 1998, 475
- Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
- Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1
- LEV BEKLEMISHEV, “Notes on local reflection principles”, Theoria, 63, no. 3, 1997, 139
- Joost J. Joosten, “The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$”, Notre Dame J. Formal Logic, 46, no. 2, 2005
- Lev Beklemishev, Albert Visser, 4, Mathematical Problems from Applied Logic I, 2006, 77
- M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83