Nondeterministic Lisp as a Substrate for Constraint Logic Programming.

Jeffrey Mark Siskind, David A. McAllester

Browse the full AAAI paper archive.