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

ISSN: 0958-695X

Year of publication: 1997

Volume: 3

Issue: 5

Pages: 568-602

Type: Article