A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions";
in: "Proceedings of the CICIM Workshops on ESARM-08", G. Sutcliffe, S. Colton, S. Schulz (ed.); issued by: Ceur Workshop Proceedings; CEUR-WS.org, 2008, ISSN: 1613-0073, 23 - 41.