Forward Reasoning and Dependency-Directed Backtracking (1976) [pdf]dspace.mit.edu2 pointsUnderSpecdHuman7 years ago