 | Arikawa, S. |
 |
 | Arikawa, S. -- Elementary formal system as a unifying framework for language learning - 1989 |
| Mukouchi, Y. -- Inductive inference machines that can refute hypothesis spaces - 1993 |
| Koga, Y. -- Explanation-based reuse of Prolog programs - 1994 |
|
