Ken Sadohara Makoto Haraguchi Analogical Logic Program Synthesis Algorithm That Can Refute Inappropriate Similarities. 266-281 1995 conf/alt/1995 ALT db/conf/alt/alt1995.html#SadoharaH95