combatting Shallow Learning in a Tutor for Geometry Problem Solving. - Vincent Aleven; Kenneth R. Koedinger; H. Colleen Sinclair; Jaclyn Snyder (Intelligent Tutoring Systems, 1998)