Or-parallel Prolog on shared memory multiprocessors (1989)

by A Ciepielwski, S Haridi, B Hausman
Venue:J. Logic Programming