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
Any de publicació: 2007
Volum: 177
Número: 1
Pàgines: 235-252
Tipus: Article