A new external reference management and distributed unification for KL1 - Ichiyoshi, Nobuyuki; Rokusawa, Kazuaki (1988)