TY  - RPRT
TI  - Monadic second order finite satisfiability and unbounded tree-width
AU  - Tomer Kotek
AU  - Helmut Veith
AU  - Florian Zuleger
PY  - 2016
UR  - https://arxiv.org/abs/1505.06622
ID  - 1505.06622
ER  -