Graph decompositions definable in monadic second-order logic

Bruno Courcelle. Graph decompositions definable in monadic second-order logic. Electronic Notes in Discrete Mathematics, 22:13-19, 2005. [doi]

Bibliographies