M.__Alpuente
A Compositional Semantics for Conditional Term Rewriting Systems
A debugging scheme for functional logic programs
Partial Evaluation of Functional Logic Programs
Safe Folding/Unfolding with Conditional Narrowing
Specialization of Lazy Functional Logic Programs