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