Bruno Courcelle. The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues. ITA, 26:257-286, 1992.
@article{Courcelle92:1, title = {The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues}, author = {Bruno Courcelle}, year = {1992}, tags = {graph-rewriting, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/Courcelle92%3A1}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {26}, pages = {257-286}, }