Mikhail Sheremet Dmitry Tishkovsky Frank Wolter Michael Zakharyaschev A Logic for Concepts and Similarity. 415-452 2007 17 J. Log. Comput. 3 http://dx.doi.org/10.1093/logcom/exm007 db/journals/logcom/logcom17.html#SheremetTWZ07