Artículo:

Translating Default Logic into Standard Auto epistemic Logic

Autor:

G. Gottlob

Página:

711

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

42

Número:

4

Periodo:

Julio 1995

ISSN:

00045411

SrcID:

00045411-1995-04.txt