Yasuhito Mukouchi Setsuo Arikawa Towards a Mathematical Theory of Machine Discovery from Facts. 53-84 1995 137 Theor. Comput. Sci. 1 db/journals/tcs/tcs137.html#MukouchiA95 http://dx.doi.org/10.1016/0304-3975(95)91135-D