An Auxiliary Logic on Trees: on the Tower-hardness of logics featuring reachability and submodel reasoning | Publicación