BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing

Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture

Higher-order equational logic programming

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A Proposal for Disequality Constraints in Curry

Electronic Notes in Theoretical Computer Science (ENTCS)

A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming