Towards independent and-parallelism in CLP | Publicación