Andrzej Ciepielewski Seif Haridi Bogumil Hausman Or-Parallel Prolog on Shared Memory Multiprocessors. 125-148 1989 7 J. Log. Program. 2 db/journals/jlp/jlp7.html#CiepielewskiHH89