Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electronic Notes in Theoretical Computer Science, 177:235-252, 2007. [doi]
@article{MartinFHRV07,
title = {A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme},
author = {Sonia Estévez Martín and Antonio J. Fernández and Maria Teresa Hortalá-González and Mario Rodríguez-Artalejo and Rafael del Vado Vírseda},
year = {2007},
doi = {10.1016/j.entcs.2007.01.026},
url = {http://dx.doi.org/10.1016/j.entcs.2007.01.026},
researchr = {https://researchr.org/publication/MartinFHRV07},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {235-252},
}