J.M. Siskind and D.A. McAllester. "Nondeterministic Lisp as a substrate for constraint logic programming" Proceedings of the Twelfth National Conference on Artificial Intelligence, pp133-138, 1993.
(1993)
Languages mentioned
Screamer
{1993} Nondeterministic LISP