RISC JKU
  • @inproceedings{RISC5764,
    author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
    title = {{Term-Graph Anti-Unification}},
    booktitle = {{3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)}},
    language = {english},
    series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    volume = {108},
    pages = {9:1--9:17},
    publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    address = {Dagstuhl, Germany},
    isbn_issn = {ISBN 978-3-95977-077-4 ISSN 1868-8969},
    year = {2018},
    editor = {Helene Kirchner},
    refereed = {yes},
    length = {17},
    url = {http://drops.dagstuhl.de/opus/volltexte/2018/9179}
    }