The complexity of treelike systems over Λ-local formulae | Publicación