Characterizing CTL-like logics on finite trees | Publicación