Axiomatizing proof tree concepts in Bounded Arithmetic.

Satoru Kuroda

Browse the full CSL paper archive.