Kiyoshi Shibayama Masaaki Yamamoto Hiroaki Hirata Yasushi Konoh Takanori Sanetoh Hiroshi Hagiwara KPR: A Logic Programming Language-Oriented Parallel Machine. 113-131 1987 conf/lp/1987 LP db/conf/lp/lp87.html#ShibayamaYHKSH87 http://dx.doi.org/10.1007/3-540-19426-6_9