Jean Flower, Judith Masthoff, Gem Stapleton. Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. In Alan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Volume 2980 of Lecture Notes in Computer Science, pages 166-181, Springer, 2004. [doi]
Abstract is missing.