A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. - Toshihiko Miyazaki; Akikazu Takeuchi; Takashi Chikayama (SLP, 1985)

A Prototype Software Simulator for FGHC. - Yuri Ohara; Satoru Torii; Etsuo Ono; Makoto Kishishita; Jiro Tanaka; Toshihiko Miyazaki (LP, 1986)

Overview of the Parallel Inference Machine Operating System (PIMOS). - Takashi Chikayama; Hiroyuki Sato; Toshihiko Miyazaki (FGCS, 1988)