A. Leitsch: "CERES: Cut-Elimination by Resolution"; Talk: MANYVAL 06, Gargnano; 2006-03-20 - 2006-03-22.
Cut-elimination by CERES
Schnittelimination mit CERES
cut-elimination, resolution