I. Vlahavas, P. Kefalas, “A Parallel Prolog Resolution Based on Multiple Unifications”, Parallel Computing, Elsevier, Vol. 18, pp. 1275-1283, 1992.

Authors:

Appeared In:

Tags: