An Automatic Composition Algorithm for Functional Logic Programs | Publicación