TY  - RPRT
TI  - Weak MSO: Automata and Expressiveness Modulo Bisimilarity
AU  - Facundo Carreiro
AU  - Alessandro Facchini
AU  - Yde Venema
AU  - Fabio Zanasi
PY  - 2014
UR  - https://arxiv.org/abs/1401.4374
ID  - 1401.4374
ER  -