Ken Sadohara Makoto Haraguchi Analogical Logic Program Synthesis from Examples. 232-244 1995 conf/ecml/1995 ECML db/conf/ecml/ecml95.html#SadoharaH95 http://dx.doi.org/10.1007/3-540-59286-5_61