Matthias Baaz Stefan Hetzl Alexander Leitsch Clemens Richter Hendrik Spohr Proof Transformation by CERES. 82-93 2006 conf/mkm/2006 MKM http://dx.doi.org/10.1007/11812289_8 db/conf/mkm/mkm2006.html#BaazHLRS06