A Detection Algorithm of Perpetual Suspension in KL1. - Yu Inamura; Satoshi Onishi (ICLP, 1990)

Architecture and Implementation of PIM/m. - Hiroshi Nakashima; Katsuto Nakajima; Seiichi Kondo; Yasutaka Takeda; Yu Inamura; Satoshi Onishi; Kanae Masuda (FGCS, 1992)