An efficient OR-parallel processing scheme of Prolog: Hierarchical pincers attack search
(Last author) Prologの効率的なOR並列処理スキーム。階層型挟み撃ち探索
M. Kai, H. Kasahara
IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Conference Proceedings