VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis