RISC JKU
  • @inproceedings{RISC6133,
    author = {Besik Dundua and Temur Kutsia and Mircea Marin and Cleopatra Pau},
    title = {{Constraint Solving over Multiple Similarity Relations}},
    booktitle = {{Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)}},
    language = {english},
    series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    volume = {167},
    pages = {30:1--30:19},
    publisher = {Schloss Dagstuhl--Leibniz-Zentrum für Informatik},
    isbn_issn = {ISBN 978-3-95977-155-9, ISSN 1868-8969},
    year = {2020},
    editor = {Zena M. Ariola},
    refereed = {yes},
    length = {19},
    url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.30}
    }