TY  - JOUR

T1  - Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

JO  - Annals of Pure and Applied Logic

UR  - http://dx.doi.org/10.1016/j.apal.2018.12.001

PY  - 2019/04/01

AU  - Popova SN

AU  - Zhukovskii ME

ED  - 

DO  - DOI: 10.1016/j.apal.2018.12.001

PB  - Elsevier BV

VL  - 170

IS  - 4

SP  - 505

EP  - 514

Y2  - 2024/10/23

ER  -