ML Anthology

de Bruin, Jos

1 publications

IJCAI 1981 Symbolic Evaluation of LISP Functions with Side Effects for Verification Dennis de Champeaux, Jos de Bruin