Constraint Logic Programming with Hereditary Harrop formulas | Publicación