Bruno Courcelle

• Graph Structure and Monadic Second-Order Logic