Barbara White John Frederiksen Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions. 313-319 1986 AAAI db/conf/aaai/aaai86-1.html#WhiteF86