Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.

Jean Flower, Judith Masthoff, Gem Stapleton

Browse the full DIAGRAMS paper archive.