Kent Petersson;Jan M Smith
-;-
Evaluation strategies for functional logic programming
Journal of Symbolic Computation