An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning | Publicación