Parallel execution of logic programs on distributed memory multiprocessors. - Youjun Luo (1995)