Constraint Functional Logic Programming over Finite Domains | Publicación