Department of Computer Science Technical Reports

Exploiting And-Or Parallelism in Prolog: The OASys Computational Model and Abstract Architecture

1997

97-033

COinS