A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme | Publicación