TY  - RPRT
TI  - MSO+nabla is undecidable
AU  - Mikołaj Bojańczyk
AU  - Edon Kelmendi
AU  - Michał Skrzypczak
PY  - 2019
UR  - https://arxiv.org/abs/1901.06900
ID  - 1901.06900
ER  -