Constraint functional logic programming over finite domains | Publicación