A General Similarity Framework for Horn Clause Logic.

Stefano Ferilli Teresa Maria Altomare Basile Marenglen Biba Nicola Di Mauro Floriana Esposito A General Similarity Framework for Horn Clause Logic. 43-66 2009 90 Fundam. Inform. 1-2 http://dx.doi.org/10.3233/FI-2009-0004 db/journals/fuin/fuin90.html#FerilliBBME09