@article{10.1145/3419404,
    Abstract = {Symbolic automata better balances how automata are implemented in practice.},
    Address = {New York, NY, USA},
    Author = {D'Antoni, Loris and Veanes, Margus},
    File = {Automata modulo Theories - 10.1145@3419404 - a.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Month = {apr},
    Number = {5},
    Pages = {86--95},
    Publisher = {Association for Computing Machinery},
    Title = {Automata modulo Theories},
    URL = {https://doi.org/10.1145/3419404},
    Volume = {64},
    Year = {2021},
    bdsk-url-1 = {https://doi.org/10.1145/3419404},
    date-added = {2023-06-10 09:46:24 +0200},
    date-modified = {2023-06-10 09:46:24 +0200},
    issue_date = {May 2021},
    numpages = {10},
    doi = {10.1145/3419404}
}

@article{10.1145/3419404, Abstract = {Symbolic automata better balances how automata are implemented in practice.}, Address = {New York, NY, USA}, Author = {D'Antoni, Loris and Veanes, Margus}, File = {Automata modulo Theories - 10.1145@3419404 - a.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Month = {apr}, Number = {5}, Pages = {86--95}, Publisher = {Association for Computing Machinery}, Title = {Automata modulo Theories}, URL = {https://doi.org/10.1145/3419404}, Volume = {64}, Year = {2021}, bdsk-url-1 = {https://doi.org/10.1145/3419404}, date-added = {2023-06-10 09:46:24 +0200}, date-modified = {2023-06-10 09:46:24 +0200}, issue_date = {May 2021}, numpages = {10}, doi = {10.1145/3419404} }