Title: Complexity of proofs and their transformations in axiomatic theories
Subjects: Proof theory