A Memoizing Semantics for Functional Logic Languages | Publicación