%0 Journal Article
%A Courcelle, B.
%T The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1992
%P 257-286
%V 26
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1992__26_3_257_0/
%G en
%F ITA_1992__26_3_257_0