Krzysztof R. Apt;Maurizio Gabbrielli
-;-
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)