A Concurrent Operational Semantics for Constraint Functional Logic Programming. - Rafael del Vado Vírseda; Fernando Pérez Morente; Marcos Miguel García Toledo (ICLP (Technical Communications), 2012)