1. Akiyoshi, R. (2010). Gentzen’s first consistency proof revisited. In CARLS series of advanced study of logic and sensibility (Vol. 4, pp. 315–324). Tokyo: Keio University.
2. Akiyoshi, R., & Takahashi, Y. (2013). Reading Gentzen’s three consistency proofs uniformly. (in Japanese) Kagaku kisoron kenkyū (Journal of the Japan Association for Philosophy of Science) 41, 1–22.
3. Arai, T. (2002). Review: Three papers on proof theory by W. Buchholz and S. Tupailo. The Bulletin of Symbolic Logic, 8, 437–439.
4. Bernays, P. (1970). On the original Gentzen consistency proof for number theory. In A. Kino, J. Myhill, & R. Vesley (Eds.), Intuitionism and proof theory. Amsterdam: North-Holland.
5. Buchholz, W. (1991). Notation systems for infinitary derivations. Archive for Mathematical Logic, 30, 277–96.