A. Leitsch: "CERES: Cut-elimination by Resolution"; Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14.