OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.

Bogumil Hausman Andrzej Ciepielewski Seif Haridi OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. 69-79 1987 SLP db/conf/slp/slp87.html#HausmanCH87