LAITS : a plan-based intelligent tutoring system for basic linear algebra - Li, Wei Jun (1996)