Nominal syntax with atom substitutions - Domínguez, Jesús; Fernández, Maribel (Journal of computer and system sciences, 2021)
Keywords: Matching; Nominal syntax; Non-capturing substitution; Rewriting; Unification; Matching; Non-capturing substitution; Nominal syntax; Rewriting; Unification