TY  - RPRT
TI  - Fly-automata for checking MSO 2 graph properties
AU  - Bruno Courcelle
PY  - 2015
UR  - https://arxiv.org/abs/1511.08605
ID  - 1511.08605
ER  -