Non-Deterministic Lisp with Dependency-directed Backtracking.

Ramin Zabih, David A. McAllester, David Chapman

Browse the full AAAI paper archive.