1. Representations and modelling in problems of program formation;Amarel,1971
2. Tuning of search of the problem space for geometry proofs;Anderson,1982
3. The theory of learning by doing;Anzai;Psychol. Rev.,1979
4. How to Do Things with Words;Austin,1962
5. Computer learning from English text;Badre,1972