TY  - RPRT
TI  - Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
AU  - Dušan Knop
AU  - Martin Koutecký
AU  - Tomáš Masařík
AU  - Tomáš Toufar
PY  - 2019
DO  - 10.23638/lmcs-15(4:12)2019 10.1007/978-3-319-68705-6_26
UR  - https://arxiv.org/abs/1703.00544
ID  - 1703.00544
ER  -