Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification.

Till Tantau

Browse the full STACS paper archive.