Artículo:

Existential second-order logic over graphs: charting the tractability frontier

Autor:

G. Gottlob

P. G. Kolaitis

T. Schwentick

Página:

312

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

51

Número:

2

Periodo:

Marzo 2004

ISSN:

00045411

SrcID:

00045411-2004-02.txt