REFERENCES

[Bundy79]       A.Bundy, L.Byrd, G.Luger, C.Mellish and M.Palmer, Solving
                mechanics problems using meta-level inference, in Expert
                Systems in the Micro-electronic Age, ed. D.Michie, Edinburgh
                University Press, 1979

[Hayes-Roth82]  eds. F.Hayes-Roth, D.Waterman and D.B.Lenat, Building Expert
                Systems, to be published in 1982

[Shortliffe76]  E.H.Shortliffe, Computer-based medical consultations: MYCIN,
                New York: American Elsevier, 1976

[Stallman77]    R.M.Stallman and G.J.Sussman, Forward reasoning and
                dependency-directed backtracking in a system for computer-
                aided circuit analysis, Artificial Intelligence, 9, pp. 135-
                196, 1977

[Stefik81]      M.J.Stefik, Planning with constraints, Artificial Intelligence,
                16, pp. 111-170 (two papers), 1981