Proofs with Graphs (Sci. Comput. Program., 1996)

(untitled) - Curtis, S; Lowe, G