The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture. - Hiroshi Nishikawa; Minoru Yokota; Akira Yamamoto; Kazuo Taki; Shunichi Uchida (Logic Programming Workshop, 1983)

Outline of the Personal Sequential Inference Machine: PSI. - Shunichi Uchida; Minoru Yokota; Akira Yamamoto; Kazuo Taki; Hiroshi Nishikawa (New Gener. Comput., 1983)

The Design and Implementation of a Personal Sequential Inference Machine: PSI. - Minoru Yokota; Akira Yamamoto; Kazuo Taki; Hiroshi Nishikawa; Shunichi Uchida (New Gener. Comput., 1983)

Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI). - Kazuo Taki; Minoru Yokota; Akira Yamamoto; Hiroshi Nishikawa; Shunichi Uchida; Hiroshi Nakashima; Akitoshi Mitsuishi (FGCS, 1984)

A Microprogrammed Interpreter for the Personal Sequential Inference Machine. - Minoru Yokota; Akira Yamamoto; Kazuo Taki; Hiroshi Nishikawa; Shunichi Uchida; Katsuto Nakajima; Masaki Mitsui (FGCS, 1984)

Design of a High-speed Prolog Machine (HPM). - Ryosei Nakazaki; Akihiko Konagaya; Shinichi Habata; Hideo Shimazu; Mamoru Umemura; Masahiro Yamamoto; Minoru Yokota; Takashi Chikayama (ISCA, 1985)

The Program Characteristics in Logic Programming Language ESP. - Akira Yamamoto; Masaki Mitsui; Hiroyuki Yoshida; Minoru Yokota; Katsuto Nakajima (LP, 1985)

Evaluation of PSI Micro-Interpreter. - Katsuto Nakajima; Hiroshi Nakashima; Minoru Yokota; Kazuo Taki; Shunichi Uchida; Hiroshi Nishikawa; Akira Yamamoto; Masaki Mitsui (COMPCON, 1986)

Performance Evaluation of a Sequential Inference Machine CHI. - Akihiko Konagaya; Shinichi Habata; Atsushi Atarashi; Minoru Yokota (NACLP, 1989)

Implementation and Evaluation of Dynamic Predicates on the Sequential Inference Machine CHI. - Atsushi Atarashi; Akihiko Konagaya; Shinichi Habata; Minoru Yokota (ICCL, 1990)