The relation between logic and functional languages: a survey (1986)

by M Bellia, G Levi
Venue:Journal of Logic Programming