1. “Natural Language Input for a Computer Problem Solving System”;Bobrow,1968
2. “Analyzing Mathematical Proofs (or reading between the lines)”;Bundy,1975
3. “Will it Reach the Top? Prediction in the Mechanics World”;Bundy,1977
4. “A Program which solves Calculus Word Problems”;Charniak,1968
5. “Qualitative and Quantitative Knowledge in Classical Mechanics”;de Kleer,1975