A Learning Mechanism for Logic Programs Using Dynamically Shared Substructures. - Masayuki Numao; Shigekazu Morita; Kenichi Karaki (Machine Intelligence 15, 1995)