A Priority Control System for OR-Parallel Prolog and Its Performance Evaluation. - Yukio Kaneda; Hideo Matsuda; Shigeo Suzuka (Parallel Symbolic Computing, 1992)