A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme
- Estévez Martín, S.
- Fernández, A.J.
- Hortalá González, M.T.
- Rodríguez Artalejo, M.
- del Vado Vírseda, R.
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 177
Número: 1
Páginas: 235-252
Tipo: Artículo