A Cognitive Tutor for Geometric Proof.

Published in: Intelligent Tutoring Systems (2) (2010)