S Narain
-
Functional and constraint logic programming
Constraints in computational logics
Leftmost outside-in narrowing calculi
Journal of Functional Programming