APA (7th ed.) Citation

ARECES, C., CASSANO, V., & FERVARI, R. (2025). DATA-AWARE HYBRID TABLEAUX. Logical Methods in Computer Science (LMCS), 21(4), 26:1. https://doi.org/10.46298/LMCS-21(4:26)2025

Chicago Style (17th ed.) Citation

ARECES, CARLOS, VALENTIN CASSANO, and RAUL FERVARI. "DATA-AWARE HYBRID TABLEAUX." Logical Methods in Computer Science (LMCS) 21, no. 4 (2025): 26:1. https://doi.org/10.46298/LMCS-21(4:26)2025.

MLA (9th ed.) Citation

ARECES, CARLOS, et al. "DATA-AWARE HYBRID TABLEAUX." Logical Methods in Computer Science (LMCS), vol. 21, no. 4, 2025, p. 26:1, https://doi.org/10.46298/LMCS-21(4:26)2025.