Sequential Prolog Machine PEK. - Naoyuki Tamura; Koichi Wada 003; Hideo Matsuda; Yukio Kaneda; Sadao Maekawa (FGCS, 1984)

Sequential Prolog Machine PEK. - Yukio Kaneda; Naoyuki Tamura; Koichi Wada 003; Hideo Matsuda; Shumin Kuo; Sadao Maekawa (New Gener. Comput., 1986)