TY  - RPRT
TI  - Nominal Unification and Matching of Higher Order Expressions with Recursive Let
AU  - Manfred Schmidt-Schauß
AU  - Temur Kutsia
AU  - Jordi Levy
AU  - Mateu Villaret
AU  - Yunus Kutz
PY  - 2022
DO  - 10.3233/fi-222110
UR  - https://arxiv.org/abs/2102.08146
ID  - 2102.08146
ER  -