1. [7] Buss, S., “Cut elimination in situ,” preprint, 2013, http://math.ucsd.edu/~sbuss/ResearchWeb/index.html.
2. [1] Artemov, S., and L. Beklemishev, “Provability logic,” pp. 229–403 in Handbook of Philosophical Logic, Volume 13, 2nd edition, edited by D. Gabbay and F. Guenthner, Springer, Dordrecht, 2004.
3. [2] Beklemishev, L., and A. Visser, “On the limit existence principles in elementary arithmetic and $\Sigma^{0}_{n}$-consequences of theories,” Annals of Pure and Applied Logic, vol. 136 (2005), pp. 56–74.
4. [3] Beklemishev, L., and A. Visser, “Problems in the Logic of Provability,” pp. 77–136 in Mathematical Problems from Applied Logic, I: Logics for the XXIst Century, edited by D. M. Gabbay, S. S. Concharov, and M. Zakharyashev, vol. 4 of International Mathematical Series, Springer, New York, 2006.
5. [4] Boolos, G., The Logic of Provability, Cambridge Univ. Press, Cambridge, 1993.