Monadic second-order evaluations on treedecomposable graphs (1993)

by B Courcelle, M Mosbah
Venue:Theoretical Computer Science