Marcus, S.; Stout, J.; McDermott, J. VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking. AIMag 1987, 8, 41.