M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Cut-Elimination: Experiments with CERES";
in: "LOgic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, ISBN: 3-540-25236-3, 481 - 495.