WORDMATH: A Computer-Based Environment for Learning Word Problem Solving. - Chee-Kit Looi; Boon Tee Tan (CALISCE, 1996)

Generic assumption-based truth-maintained blackboard system - Boon Tee Tan (2000)