@inproceedings{7ba4f3a56d6f4cd4aa98af9ee5ec54f2,
title = "Constraint Solving over Multiple Similarity Relations",
abstract = "ISSN: 1868-8969",
author = "Besik Dundua and Teimuraz Kutsia and Mircea Marin and Pau, \{Ioana Cleopatra\}",
year = "2020",
month = jun,
day = "1",
doi = "10.4230/LIPIcs.FSCD.2020.30",
language = "English",
isbn = "978-3-95977-155-9",
volume = "167",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
pages = "30:1--30:19",
editor = "Ariola, \{Zena M.\}",
booktitle = "Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)",
}