Tourlakis, G. “A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs”. Bulletin of the Section of Logic, vol. 45, no. 1, Mar. 2016, pp. 17–31, doi:10.18778/0138-0680.45.1.02.