Using an Abstract Representation to Specialize Functional Logic Programs | Publicación