1. Tuning of search of the problem space for geometry proofs;Anderson,1981
2. Acquisition of cognitive skill;Anderson;Psychol. Rev.,1982
3. Acquisition of proof skills in geometry;Anderson,1983
4. Production systems, learning, and tutoring;Anderson,1987