Artículo:

On the Decidability and Axiomatization of Query Finiteness in Deductive Databases

Autor:

M. Kifer

Página:

588

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

45

Número:

4

Periodo:

Julio 1998

ISSN:

00045411

SrcID:

00045411-1998-04.TXT