A System at the Cross-Roads of Functional and Logic Programming.

Fairouz Kamareddine A System at the Cross-Roads of Functional and Logic Programming. 239-279 1992 19 Sci. Comput. Program. 3 db/journals/scp/scp19.html#Kamareddine92