Nondeterministic lisp as a substrate for constraint logic programming (1993)

by Je rey Mark Siskind, David Allen McAllester
Venue:Proceedings of the Eleventh National Conference on Arti cial Intelligence, Menlo Park