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

ISSN: 0958-695X

Any de publicació: 1997

Volum: 3

Número: 5

Pàgines: 568-602

Tipus: Article