Functional logic programming (0)

by S Antoy, M Hanus
Venue:Communications of the ACM