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

Bibliografiset tiedot
Päätekijät: Gottlob, G, Kolaitis, P, Schwentick, T
Aineistotyyppi: Journal article
Julkaistu: 2004