Linear time solvable optimization problems on graphs of bounded clique-widthThe expression of graph properties and graph transformations in monadic second-order logic
