A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages | Publicación