Correctness proof of a distributed implementation of prolog by means of abstract state machines

  1. Araujo, L.
Revista:
Journal of Universal Computer Science

ISSN: 0958-695X

Año de publicación: 1997

Volumen: 3

Número: 5

Páginas: 568-602

Tipo: Artículo