A Concurrent Operational Semantics for Constraint Functional Logic Programming | Publicación