The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues B. Courcelle — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Définitions récursives par cas B. Courcelle; F. Lavandier — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Mineurs d'arbres avec racines B. Courcelle; A. Pariès — 1995 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Map genus, forbidden maps, and monadic second-order logic. Courcelle, B.; Dussaux, V. — 2002 The Electronic Journal of Combinatorics [electronic only]