Artículo:

Two-variable logic on data trees and XML reasoning.

Autor:

Mikolaj Bojanczyk

Anca Muscholl

Thomas Schwentick

Luc Segoufin:

Publicación:

Journal of the ACM

Volúmen:

56

Número:

3

Periodo:

mayo-junio 2009

ISSN:

00045411

SrcID:

00045411-2009-03.txt