A New External Reference Management and Distributed Unification for KL1.

Nobuyuki Ichiyoshi Kazuaki Rokusawa Katsuto Nakajima Yu Inamura A New External Reference Management and Distributed Unification for KL1. 904-913 1988 FGCS db/conf/fgcs/fgcs88.html#IchiyoshiRNI88