TY  - RPRT
TI  - A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
AU  - Joost Engelfriet
AU  - Heiko Vogler
PY  - 2020
DO  - 10.23638/dmtcs-22-4-3
UR  - https://arxiv.org/abs/1905.00559
ID  - 1905.00559
ER  -