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. Davis, R., Shrobe, H., Hamscher, W., Wieckert, K., Shirley, M. and Polit, S., Diagnosis based on description of structure and function, in: Proceedings National Conference on Artificial Intelligence, Pittsburgh, PA (August, 1982) 137-142.
4. De Kleer, J. and Bobrow, D.G., Qualitative reasoning with higher-order qualitative derivatives, in: Proceedings National Conference on Artificial Intelligence, Austin, TX, August, 1984.
5. De Kleer, J., Choices without backtracking, in: Proceedings National Conference on Artificial Intelligence, Austin, TX, August, 1984.