1. Hiroki Arimura, Hiroki Ishizaka, and Takeshi Shinohara. Polynomial time inference of a subclass of context-free transformations. In Proceedings of 5th Workshop on Computational Learning Theory, 1992.
2. Hiroki Arimura, Takeshi Shinohara, and Setsuko Otsuki. A polynomial time algorithm for finite unions of tree pattern languages. In Proc. of the 2nd International Workshop on Nonmonotonic and Inductive Logics, 1991. To appear in LNCS.
3. Hiroki Arimura, Takeshi Shinohara, and Setsuko Otsuki. Polynomial time inference of unions of tree pattern languages. In S. Arikawa, A. Maruoka, and T. Sato, editors, Proc. ALT '91, pp. 105–114. Ohmsha, 1991.
4. Hiroki Ishizaka. Model inference incorporating generalization. Journal of Information Processing, 11(3):206–211, 1988.
5. J-L.Lassez, M. J. Maher, and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pp. 587–625. Morgan Kaufmann, 1988.