1. Heuristic dendral: A program for generating explanatory hypotheses in organic chemistry;Buchanan,1969
2. A translation system for developing recursive programs;Burstall;JACM,1977
3. The specification of process synchronization by path expressions;Campbell,1974
4. The control facilities of IC-prolog;Clarke,1979
5. An overview of production systems;Davis,1977