Artículo:

Transitive closure logic, nested tree walking automata, and XPath

Autor:

Balder Ten Cate

Luc Segoufin

Página:

18.1

Publicación:

Journal of the ACM

Volúmen:

57

Número:

3

Periodo:

Marzo 2010

ISSN:

00045411

SrcID:

00045411-2010-03.txt