"Proofs as graphs."

Duncan Shand, Simon Brock (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics