Armengol, E.; Plaza, E. Symbolic Explanation of Similarities in Case-Based Reasoning. Comput. Inform. 2012, 25, 153-171.