Programming in an integrated functional and logic language (1999)

by J W Lloyd
Venue:Journal of Functional and Logic Programming