1. Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III;Brown,1982
2. Analysis and Design of Dynamic Systems;Cochin,1980
3. Diagnosis based on description of structure and function;Davis,1982
4. Qualitative reasoning with higher-order qualitative derivatives;De Kleer,1984
5. Choices without backtracking;De Kleer,1984