Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.

Dave Barker-Plummer, Sidney C. Bailin

Browse the full ECAI paper archive.