TY  - RPRT
TI  - Computations by fly-automata beyond monadic second-order logic
AU  - Bruno Courcelle
AU  - Irène Durand
PY  - 2015
UR  - https://arxiv.org/abs/1305.7120
ID  - 1305.7120
ER  -