Ramin Zabih David A. McAllester David Chapman Non-Deterministic Lisp with Dependency-directed Backtracking. 59-65 1987 AAAI db/conf/aaai/aaai87.html#ZabihMC87