"OR-Parallel Execution of Prolog on BC-Machine."

Khayri A. M. Ali (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics