On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming

Functional and constraint logic programming

Constraints in computational logics

Higher-order narrowing with definitional trees

Journal of Functional Programming

A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming

Rewriting and call-time choice: the HO case

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming

A functional logic language based on higher order narrowing

FP'95 Proceedings of the 1995 international conference on Functional Programming