Contributions to Proceedings:

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Proof Transformation by CERES";
in: "MKM 2006", J.M. Borwein, W.M. Farmer (ed.); Springer, Berlin Heidelberg, 2006, 82 - 93.

English abstract:
Proof Transformation by CERES

German abstract:
Beweistransformation mit CERES

resolution, paramodulation, cut-elimination

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.