RISC JKU
  • @inproceedings{RISC6132,
    author = {David M. Cerna and Temur Kutsia},
    title = {{Unital Anti-Unification: Type and Algorithms}},
    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 = {26:1--26:20},
    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 = {20},
    url = {https://drops.dagstuhl.de/opus/volltexte/2020/12352/}
    }