@article{DMTCS_2020_22_4_a3,
     author = {Engelfriet, Joost and Vogler, Heiko},
     title = {A {B\"uchi-Elgot-Trakhtenbrot} theorem for automata with {MSO} graph storage},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {22},
     number = {4},
     year = {2020-2021},
     doi = {10.23638/DMTCS-22-4-3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-22-4-3/}
}