Finite type extensions in constraint programming | Publicación