A Prototype Manufacturing Knowledge Base in Syllog. - Craig Fellenstein; Charles O. Green; Lucinda M. Palmer; Adrian Walker; David J. Wyler (IBM J. Res. Dev., 1985)