TY  - RPRT
TI  - Data-Aware Hybrid Tableaux
AU  - Carlos Areces
AU  - Valentin Cassano
AU  - Raul Fervari
PY  - 2025
DO  - 10.46298/lmcs-21(4:26)2025
UR  - https://arxiv.org/abs/2406.12090
ID  - 2406.12090
ER  -