Distributed Pool for Efficient Data Distribution in KL1. - Masahiko Yamauchi; Masa-aki Sato; Takashi Chikayama (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)