Hideo Matsuda M. Kohata T. Masuo Yukio Kaneda Sadao Maekawa Implementing Parallel Prolog System on Multiprocessor System PARK. 599-612 1987 conf/iwdm/1987 IWDM db/conf/iwdm/iwdm87.html#MatsudaKMKM87 https://doi.org/10.1007/978-1-4613-1679-4_43