Stefania Costantini Gaetano Aurelio Lanzarone L. Sbarbaro A formal definition and a sound implementation of analogical reasoning in logic programming. 1995 14 Ann. Math. Artif. Intell. 1 db/journals/amai/amai14.html#CostantiniLS95