Using Animation in Diagrammatic Theorem Proving.

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Browse the full DIAGRAMS paper archive.