Parallel logic programming - Tick, Evan (Logic Programming, 1991)