Marcus, S.; Stout, J.; McDermott, J. VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking. AIMag 1988, 9, 95.