Symbolic Automata: Omega-Regularity Modulo TheoriesVeanes, Margus; Ball, Thomas; Ebner, Gabriel; Zhuchko, EkaterinaProceedings of the ACM on Programming Languages2025 / art. 2, p. 33-66 : ill https://doi.org/10.1145/3704838 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS