@article{fi:7191,
    title      = {Nominal Unification and Matching of Higher Order Expressions with Recursive Let},
    author     = {Manfred Schmidt-Schauß and Temur Kutsia and Jordi Levy and Mateu Villaret and Yunus Kutz},
    url        = {https://fi.episciences.org/7191},
    journal    = {Fundamenta Informaticae},
    issn       = {1875-8681},
    volume     = {Volume 185, Issue 3},
    eid        = 3,
    year       = {2022},
    month      = {May},
    keywords   = {Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, I.2.3},
}