On Composing Finite Forests with Modal Logics | Publicación