Existential second−order logic over graphs: Charting the tractability frontier

Georg Gottlob‚ Phokion G. Kolaitis and Thomas Schwentick