Nominal unification with atom-variables. - Manfred Schmidt-Schauß; David Sabel; Yunus D. K. Kutz (J. Symb. Comput., 2019)

Nominal Unification with Letrec and Environment-Variables. - Manfred Schmidt-Schauß; Yunus D. K. Kutz (LOPSTR, 2020)

Rewriting with generalized nominal unification. - Yunus D. K. Kutz; Manfred Schmidt-Schauß (Math. Struct. Comput. Sci., 2020)

Nominal Unification and Matching of Higher Order Expressions with Recursive Let. - Manfred Schmidt-Schauß; Temur Kutsia; Jordi Levy; Mateu Villaret; Yunus D. K. Kutz (Fundam. Informaticae, 2022)