1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)
2. Byrd, W., Friedman, D.: $$\alpha $$-kanren: a fresh name in nominal logic programming. In: Proceedings of the 2007 Workshop on Scheme and Functional Programming, pp. 79–90. Université Laval Technical Report DIUL-RT-0701 (2007)
3. Calvès, C.: Unifying nominal unification. In: RTA-13. LIPIcs, vol. 21, pp. 143–157 (2013).
http://drops.dagstuhl.de/opus/volltexte/2013/4059
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Calvès,2008
5. Calvès, C., Fernández, M.: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2–3), 285–306 (2008)