Generalized Unification as Background Knowledge in Learning Logic Programs.

Akihiro Yamamoto Generalized Unification as Background Knowledge in Learning Logic Programs. 111-122 1993 conf/alt/1993 ALT db/conf/alt/alt1993.html#Yamamoto93