Existential Second-Order Logic over Graphs: Charting the Tractability Frontier.

Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick

Browse the full FOCS paper archive.