S. Marcus, J. Stout, and J. McDermott, “VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking”, AIMag, vol. 9, no. 1, p. 95, Mar. 1988.