DATA-AWARE HYBRID TABLEAUX. - ARECES, CARLOS; CASSANO, VALENTIN; FERVARI, RAUL (Logical Methods in Computer Science (LMCS), 2025)