TY  - RPRT
TI  - The monadic second-order logic of graphs XVI : Canonical graph decompositions
AU  - Bruno Courcelle
PY  - 2006
DO  - 10.2168/lmcs-2(2:2)2006
UR  - https://arxiv.org/abs/cs/0510066
ID  - cs/0510066
ER  -