Graph Structure and Monadic Second-Order Logic

Graph Structure and Monadic Second-Order Logic