Takeshi Shinohara Hiroki Arimura Inductive inference of unbounded unions of pattern languages from positive data. 191-209 2000 241 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs241.html#ShinoharaA00 http://dx.doi.org/10.1016/S0304-3975(99)00270-4