Dependency-Directed Backtracking in Non-Deterministic Scheme
Ramin Zabih · DSpace@MIT (Massachusetts Institute of Technology) · 1988
This is a greatly revised version of a thesis submitted to the Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science on January 2, 1987, in partial fulfillment of the requirements for the degree of Master of Science.