The following publications are possibly variants of this publication:
- Proof Transformation by CERESMatthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr. AISC 2006: 82-93 [doi]
- CERES in Many-Valued LogicsMatthias Baaz, Alexander Leitsch. lpar 2005: 1-20 [doi]
- Ceres in intuitionistic logicDavid Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner. APAL, 168(10):1783-1836, 2017. [doi]
- CERES in higher-order logicStefan Hetzl, Alexander Leitsch, Daniel Weller. APAL, 162(12):1001-1034, 2011. [doi]
- Towards CERes in intuitionistic logicAlexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo. csl 2012: 485-499 [doi]
- CERES for first-order schemataAlexander Leitsch, Nicolas Peltier, Daniel Weller. logcom, 27(7):1897-1954, 2017. [doi]
- Cut-elimination and Redundancy-elimination by ResolutionMatthias Baaz, Alexander Leitsch. JSC, 29(2):149-177, 2000.