Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis, MIT AI (1976)

by R M Stallman, G J Sussman