1. Chan, W. T. (1986) Logic Programming for Managing Constraint-Based Engineering Design, PhD thesis, Stanford University
2. Dixon, J.R. (1988) On research methodology towards a scientific theory of engineering design. Artif. Intell. Eng. Des. Anal. Manuf. 4, 3, pp. 145?158
3. Newsome, S.L.; Spillers, W.J. (1988) Design Theory '88 Preprints, The 1988 NSF Grantee Workshop on Design Theory and Methodology, Rensselaer Polytechnic Institute, Troy, New York, June 3?5
4. Rabins, M.J.; Ardayfio, D.; Clarck, H.; Fenves, S.; Nadler, G.; Richardson, H.; Seireg, A. (1986) Goals and Priorities for Research in Design Theory and Methodology, A Reprot to the National Science Foundation, The American Society of Mechanical Engineers
5. Genesereth, M.R.; Nilsson, N.J. (1988) Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, CA