PAT Goes to College: Evaluating a Cognitive Tutor for Developmental Mathematics. - Kenneth R. Koedinger; Erika L. F. Suecker (ICLS, 1996)