1. Iteration procedures for sudden local alteration of structural stiffness;Forde,1986
2. Knowledge elicitation: issues and methods;Hart;Comput. Aided Des.,1985
3. A fundamental tradeoff in knowledge representation and reasoning;Levesque,1984
4. A framework for representing knowledge;Minsky,1981