Forward Reasoning and Dependency-Directed Backtracking (1976) [pdf]dspace.mit.edu2 points·UnderSpecdHuman··0 commentsOpen articleSaveView on HN