Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr. Proof Transformation by CERES. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 82-93, Springer, 2006. [doi]
Abstract is missing.