Katsuto Nakajima Yu Inamura Kazuaki Rokusawa Nobuyuki Ichiyoshi Takashi Chikayama Distributed Implementation of KL1 on the Multi-PSI/V2. 436-451 1989 ICLP db/conf/iclp/iclp89.html#NakajimaIRIC89