@article{lmcs:2250, title = {The monadic second-order logic of graphs XVI : Canonical graph decompositions}, author = {Bruno Courcelle}, url = {https://lmcs.episciences.org/2250}, doi = {10.2168/LMCS-2(2:2)2006}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 2, Issue 2}, eid = 2, year = {2006}, month = {Mar}, keywords = {Computer Science - Logic in Computer Science, F.4.1}, }