A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme

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]

Abstract

Abstract is missing.