S. Hetzl: "Comparing Mathematical Proofs"; Talk: Studia Logica International Conference; Towards Mathematical Philosophy; Trends in Logic IV, Torun, Poland; 2006-09-01 - 2006-09-04.
http://publik.tuwien.ac.at/files/pub-inf_4270.ps