Forward reasoning and dependency directed backtracking (1977)

by R Stallman, G J Sussman
Venue:Artificial Intelligence