Masateru Harao Analogical Reasoning Based on Higher-Order Unification. 151-163 1990 ALT db/conf/alt/alt1990.html#Harao90