Noboru Matsuda Kurt VanLehn Modeling Hinting Strategies for Geometry Theorem Proving. 373-377 2003 conf/um/2003 User Modeling http://link.springer.de/link/service/series/0558/bibs/2702/27020373.htm db/conf/um/um2003.html#MatsudaV03