1. On solving nominal fixpoint equations;Ayala-Rincón,2017
2. Nominal c-unification;Ayala-Rincón,2018
3. Nominal narrowing;Ayala-Rincón,2016
4. Fixed-point constraints for nominal equational unification;Ayala-Rincón,2018
5. Combination techniques and decision problems for disunification;Baader;Theor. Comput. Sci.,1995