Bruno Courcelle Graph decompositions definable in monadic second-order logic. 13-19 2005 22 Electronic Notes in Discrete Mathematics http://dx.doi.org/10.1016/j.endm.2005.06.003 db/journals/endm/endm22.html#Courcelle05