Shunichi Uchida Akira Aiba Kazuaki Rokusawa Takashi Chikayama Ryuzo Hasegawa The parallel logic programming system in the FGCS project and its future directions. 1601-1633 1999 25 Parallel Computing 13-14 db/journals/pc/pc25.html#UchidaARCH99