John Darlington;Yike Guo;Helen Pull
-;-;-
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)