The elimination of descriptions from A. Bressan’s modal language M L ν on which the logical calculus M C ν is based Eugenio Giovanni Omodeo (1976) Rendiconti del Seminario Matematico della Università di Padova
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