Taizo Miyachi Susumu Kunifuji Hajime Kitakami Koichi Furukawa Akikazu Takeuchi Haruo Yokota A Knowledge Assimilation Method for Logic Databases. 118-125 1984 SLP db/conf/slp/slp84.html#MiyachiKKFTY84