TY  - RPRT
TI  - Definability equals recognizability for graphs of bounded treewidth
AU  - Mikołaj Bojańczyk
AU  - Michał Pilipczuk
PY  - 2016
UR  - https://arxiv.org/abs/1605.03045
ID  - 1605.03045
ER  -