Noboru Matsuda Kurt VanLehn GRAMY: A Geometry Theorem Prover Capable of Construction. 3-33 2004 32 J. Autom. Reasoning 1 http://dx.doi.org/10.1023/B:JARS.0000021960.39761.b7 db/journals/jar/jar32.html#MatsudaV04