Masahiko Yamauchi Masa-aki Sato Takashi Chikayama Distributed Pool for Efficient Data Distribution in KL1. 83-92 1994 Workshop on Design and Impl. of Parallel Logic Programming Systems db/conf/slp/slp94-w5.html#YamauchiSC94