A. Leitsch: "Computational Analysis of Proofs"; Talk: European Summer School in Logic Language and Information 2005, Edinburgh, U.K.; 2005-08-13 - 2005-08-20.