Higher Order Conditional Rewriting and Narrowing

Functional and constraint logic programming

Constraints in computational logics

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics

Higher-order unification and matching

Handbook of automated reasoning

Higher-order narrowing with definitional trees

Journal of Functional Programming

Shallow confluence of conditional term rewriting systems

Journal of Symbolic Computation

On the confluence of lambda-calculus with conditional rewriting

Theoretical Computer Science

On the confluence of λ-calculus with conditional rewriting

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures