A compositional semantic basis for the analysis of equational Horn programs | Publicación