A. Beckmann: "Viewing proofs in bounded arithmetic as programs"; Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris; 2004-12-13 - 2004-12-14.