Daniel Winterstein Alan Bundy Mateja Jamnik A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. 286-299 http://link.springer.de/link/service/series/0558/bibs/1889/18890286.htm 2000 conf/diagrams/2000 Diagrams db/conf/diagrams/diagrams2000.html#WintersteinBJ00