RISC JKU
  • @article{RISC6506,
    author = {Manfred Schmidt-Schauß and Temur Kutsia and Jordi Levy and Mateu Villaret and Yunus Kutz},
    title = {{Nominal Unification and Matching of Higher Order Expressions with Recursive Let}},
    language = {english},
    journal = {Fundamenta Informaticae},
    volume = {185},
    number = {3},
    pages = {247--283},
    publisher = {IOS Press},
    isbn_issn = {ISSN 1875-8681},
    year = {2022},
    refereed = {yes},
    length = {37},
    url = {https://arxiv.org/abs/2102.08146v4}
    }