 Arimura, H. 

 Arimura, H. (H. Arimura, T. Shinohara and S. Otsuki)  Finding Minimal Generalizations for Unions of Pattern Languages and Its Application to Inductive Inference from Positive Data  1994 
 Arimura, H. (H. Arimura, H. Ishizaka and T. Shinohara)  Polynomial time inference of a subclass of contextfree transformations  1992 
 Arimura, H. (H. Arimura and T. Shinohara)  Inductive Inference of Prolog Programs with linear dependency from positive data  1994 
 Arimura, H. (H. Arimura, T. Shinohara and S. Otsuki)  Polynomial time inference of unions of tree pattern languages  1992 
 Arimura, H. (H. Arimura, T. Shinohara and S. Otsuki)  A polynomial time algorithm for finding finite unions of tree pattern languages  1993 
