A Formalization of Generalization-Based Analogy in General Logic Programs.

Noboru Iwayama Ken Satoh Jun Arima A Formalization of Generalization-Based Analogy in General Logic Programs. 129-133 1992 ECAI db/conf/ecai/ecai92.html#IwayamaSA92