@inproceedings{381d38ac0e9243cdabd8547e248d175f,
title = "Generating readable proofs: A heuristic approach to theorem proving with spider diagrams",
author = "J. Flower and Masthoff, {Judith Francoise Maria} and G. Stapleton",
year = "2004",
month = mar,
language = "English",
booktitle = "Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams",
note = "Third International Conference on the Theory and Application of Diagrams (Diagrams 2004) ; Conference date: 22-03-2004 Through 24-03-2004",
}