Danilo Fum Paolo Giangrandi Carlo Tasso Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning. 426-433 1990 AAAI db/conf/aaai/aaai90.html#FumGT90