Noboru Matsuda Kurt VanLehn Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction. 443-450 2005 AIED conf/aied/2005 db/conf/aied/aied2005.html#MatsudaV05