A. Lolic, A. Leitsch: "Expansion Trees from Non-Normalized Proofs with CERES"; Talk: Collegium Logicum Proof Theory: Herbrand's Theorem Revisited, Wien; 2017-05-25 - 2017-05-27.