"A Memoizing Semantics for Functional Logic Languages."

Salvador España, Vicent Estruch (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics