Graph structure and monadic second-order logic. A language-theoretic ...
Bruno Courcelle, Joost Engelfriet