On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract)

Bruno Courcelle

Browse the full LICS paper archive.