The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues

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},
}