@article{dmtcs:5424,
    title      = {A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage},
    author     = {Joost Engelfriet and Heiko Vogler},
    url        = {https://dmtcs.episciences.org/5424},
    doi        = {10.23638/DMTCS-22-4-3},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {vol. 22 no. 4},
    issuetitle = {Automata, Logic and Semantics},
    eid        = 3,
    year       = {2020},
    month      = {Aug},
    keywords   = {Computer Science - Formal Languages and Automata Theory},
}