"A Method for Implementing Cut in Parallel Execution of Prolog."

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