Steven Ritter, Brendon Towle, R. Charles Murray, Robert G. M. Hausmann, John Connelly: A Cognitive Tutor for Geometric Proof. Intelligent Tutoring Systems (2) 2010: 453