TY  - RPRT
TI  - Twin-width I: tractable FO model checking
AU  - Édouard Bonnet
AU  - Eun Jung Kim
AU  - Stéphan Thomassé
AU  - Rémi Watrigant
PY  - 2021
UR  - https://arxiv.org/abs/2004.14789
ID  - 2004.14789
ER  -