Graph structure and monadic second-order logic: a language-theoretic approach

Abstract

Unifies and synthesizes research over the last 25 years. The definitive reference for graduate students and researchers.