"An Evaluation Semantics for Narrowing-Based Functional Logic Languages."

Michael Hanus, Salvador Lucas (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics