TY  - RPRT
TI  - Extension Complexity, MSO Logic, and Treewidth
AU  - Petr Kolman
AU  - Martin Koutecký
AU  - Hans Raj Tiwary
PY  - 2020
DO  - 10.23638/dmtcs-22-4-8
UR  - https://arxiv.org/abs/1507.04907
ID  - 1507.04907
ER  -