selected publications academic article R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture. IEEE Transactions on Pattern Analysis and Machine Intelligence. PAMI-7:561-569. 1985