Stéphane Demri, Beata Konikowska. Relative Similarity Logics are Decidable: Reduction to FO:::2::: with Equality. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 279-293, Springer, 1998. [doi]
Abstract is missing.