Using Model Tracing Approach to Guide a Student Model for an Intelligent Computer Algebra System. - Jordan C. P. Kung; Paul Strickland; Dhiya Al-Jumeily; A. Taleb-Bendiab (INAP, 2001)