Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo Transforming and Analyzing Proofs in the CERES-System. 2008 LPAR Workshops http://ceur-ws.org/Vol-418/paper6.pdf conf/lpar/2008w db/conf/lpar/lpar2008w.html#HetzlLWP08