On Proof Schemata and Primitive Recursive Arithmetic. - Alexander Leitsch; Anela Lolic; Stella Mahler (LPAR Complementary Volume, 2024)

Towards an Analysis of Proofs in Arithmetic. - Alexander Leitsch; Anela Lolic; Stella Mahler (CoRR, 2025)