Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R. - Rikio Onai; Hajime Shimizu; Kanae Masuda; Akira Matsumoto; Moritoshi Aso (LP, 1985)

Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R. - Mamoru Sugie; M. Yoneyama; T. Sakabe; M. Iwasaki; S. Yoshizumi; Moritoshi Aso; Hajime Shimizu; Rikio Onai (LP, 1985)

Architecture of a Reduction-Based Parallel Inference Machine: PIM-R. - Rikio Onai; Moritoshi Aso; Hajime Shimizu; Kanae Masuda; Akira Matsumoto (New Gener. Comput., 1985)

Analysis of Sequential Prolog Programs. - Rikio Onai; Hajime Shimizu; Kanae Masuda; Moritoshi Aso (J. Log. Program., 1986)