Graph structure and monadic second-order logic : a language-theoretic approach /
Courcelle, B.
Engelfriet, Joost.
Cambridge : Cambridge University Press,
2012.
Includes bibliographical references and index.
Logic, Symbolic and mathematical
Graph theory.
Finite model theory.