Graph Operations and Monadic Second-Order Logic: A Survey.

Bruno Courcelle

Browse the full LPAR paper archive.