@article{DBLP:journals/lmcs/ArecesCF25,
    author = {Carlos Areces and
Valentin Cassano and
Raul Fervari},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/journals/lmcs/ArecesCF25.bib},
    doi = {10.46298/LMCS-21(4:26)2025},
    journal = {Log. Methods Comput. Sci.},
    number = {4},
    timestamp = {Sat, 17 Jan 2026 00:00:00 +0100},
    title = {Data-Aware Hybrid Tableaux},
    url = {https://doi.org/10.46298/lmcs-21(4:26)2025},
    volume = {21},
    year = {2025}
}

{"_id":"8Sr52vDG6wcjRScy5","bibbaseid":"areces-cassano-fervari-dataawarehybridtableaux-2025","author_short":["Areces, C.","Cassano, V.","Fervari, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Areces"],"suffixes":[]},{"firstnames":["Valentin"],"propositions":[],"lastnames":["Cassano"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/lmcs/ArecesCF25.bib","doi":"10.46298/LMCS-21(4:26)2025","journal":"Log. Methods Comput. Sci.","number":"4","timestamp":"Sat, 17 Jan 2026 00:00:00 +0100","title":"Data-Aware Hybrid Tableaux","url":"https://doi.org/10.46298/lmcs-21(4:26)2025","volume":"21","year":"2025","bibtex":"@article{DBLP:journals/lmcs/ArecesCF25,\n author = {Carlos Areces and\nValentin Cassano and\nRaul Fervari},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/lmcs/ArecesCF25.bib},\n doi = {10.46298/LMCS-21(4:26)2025},\n journal = {Log. Methods Comput. Sci.},\n number = {4},\n timestamp = {Sat, 17 Jan 2026 00:00:00 +0100},\n title = {Data-Aware Hybrid Tableaux},\n url = {https://doi.org/10.46298/lmcs-21(4:26)2025},\n volume = {21},\n year = {2025}\n}\n\n","author_short":["Areces, C.","Cassano, V.","Fervari, R."],"key":"DBLP:journals/lmcs/ArecesCF25","id":"DBLP:journals/lmcs/ArecesCF25","bibbaseid":"areces-cassano-fervari-dataawarehybridtableaux-2025","role":"author","urls":{"Paper":"https://doi.org/10.46298/lmcs-21(4:26)2025"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","dataSources":["CctimS4AgKgzGybH5"],"keywords":[],"search_terms":["data","aware","hybrid","tableaux","areces","cassano","fervari"],"title":"Data-Aware Hybrid Tableaux","year":2025}