Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system | Publicación