Compositional analysis for equational Horn programs | Publicación