Proof-theoretical studies on the bounded functional interpretation - Engrácia, P. (2009)