TY  - RPRT
TI  - Existential monadic second order logic of undirected graphs: a disproof of the Le Bars conjecture
AU  - Svetlana Popova
AU  - Maksim Zhukovskii
PY  - 2018
UR  - https://arxiv.org/abs/1807.01794
ID  - 1807.01794
ER  -