VT: An Expert Elevator Designer that Uses Knowledge-Based Backtracking (1986)

by S Marcus, J Stout, J McDermott