Rachid Echahed
Institut National Polytechnique, Grenoble, France
A needed narrowing strategy
Journal of the ACM (JACM)
Functional and constraint logic programming
Constraints in computational logics