Towards 40 years of constraint reasoning | Publicación