A Case Study: Assumptions and Limitations of a Problem-Solving Method
VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking