A Model for OR-Parallel Prolog Execution using Graph Reduction. - S. M. S. Syed-Mustaffa (ALPUK, 1990)

Predicting Optimal AND-Parallelism at Compile Time. - S. M. S. Syed-Mustaffa; Hugh Glaser (ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems, 1993)