Specification of Logic Programming Languages from Reusable Semantic Building Blocks | Publicación