Existential second−order logic over graphs: Charting the tractability frontier - Gottlob, G; Kolaitis, P; Schwentick, T (2004)