Artículo:

From datalog rules to efficient programs with time and space guarantees

Autor:

Yanhong A. Liu

Página:

Article No. 21

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

31

Número:

6

Periodo:

Agosto 2009

ISSN:

01640925

SrcID:

01640925-2009-05.txt