Daniel Winterstein Alan Bundy Corin A. Gurr Mateja Jamnik Using Animation in Diagrammatic Theorem Proving. 46-60 2002 conf/diagrams/2002 Diagrams http://link.springer.de/link/service/series/0558/bibs/2317/23170046.htm db/conf/diagrams/diagrams2002.html#WintersteinBGJ02