Proofs with Graphs - Curtis, S; Lowe, G (Sci. Comput. Program., 1996)