"Dr.Doodle: A Diagrammatic Theorem Prover."

Daniel Winterstein, Alan Bundy, Corin A. Gurr (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics