Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis (1977)

by R M Stallman, G J Sussman
Venue:J. Artificial Intelligence