Maxim Makatchev Pamela W. Jordan Kurt VanLehn Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems. 187-226 2004 32 J. Autom. Reasoning 3 http://dx.doi.org/10.1023/B:JARS.0000044823.50442.cd db/journals/jar/jar32.html#MakatchevJV04