TY  - JOUR
AU  - Engelfriet, Joost
AU  - Vogler, Heiko
TI  - A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
JO  - Discrete mathematics & theoretical computer science
PY  - 2020-2021
VL  - 22
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-22-4-3/
DO  - 10.23638/DMTCS-22-4-3
LA  - en
ID  - DMTCS_2020_22_4_a3
ER  -