1. Amarel, S.: 1971 ‘Representations and Modeling in Problems of Program Formation’, in D. Michie (ed), Machine intelligence 6, pp. 411–466, American Elsevier, New York.
2. Bennett, J. S. and C. R. Hollander: 1981, ‘DART: An Expert System For Computer Fault Diagnosis’, in Proc. IJCAI-81,pp. 843–845. IJCAI,Vancouver, B.C.
3. Brown, Harold, L. Hjelmeland, and L. Masinter: 1974, ‘Constructive Graph Labeling Using Double Cosets’, Discrete Mathematics 7, pp. 1–30.
4. Brownston, L., Farrell, R., Kant, E. and Martin, N.: 1985, Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming,Addison-Wesley, Reading, MA.
5. Buchanan, B. G.: 1983, ‘Mechanizing the Search for Explanatory Hypotheses’, in PSA-II,Philosophy of Science Association, East Lansing, MI.