@article{WFLP06,
author = {S.~Est\'{e}vez-Mart\'{\i}n and A.J.~Fern\'{a}ndez and M.T.~Hortal\'{a}-Gonz\'{a}lez and M.~Rodr\'{\i}guez-Artalejo and R.~del Vado-V\'{\i}rseda},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {235-252},
title = {A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme},
volume = {177},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2007}
}