Algorithms For Vertex Partitioning Problems On Partial k-Trees
The monadic second-order logic of graphs I. Recognizable sets of Finite Graphs