Graph-Based Proofs Can be Enlightening.

Mrcia R. Cerioli, Wagner Sanz, Petrucio Viana

Browse the full DIAGRAMS paper archive.