Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material) | Publicación