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

Detalhes bibliográficos
Main Authors: Gottlob, G, Kolaitis, P, Schwentick, T
Formato: Journal article
Publicado em: 2004