An Extended WAM Based Architecture for OR-Parallel Prolog Execution
1994 ◽
pp. 297-306