1. Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III;Brown,1983
2. Local methods of localizing faults in electronic circuits;de Kleer,1976
3. Causal and teleological reasoning in circuit recognition;de Kleer,1979
4. Choices without backtracking;de Kleer,1984