1. Calvès, C. F. (2010). Complexity and Implementation of Nominal Algorithms. Phd thesis, King’s College London.
2. Nominal C-unification;Ayala-Rincón;Post-proceedings of the 27th International Symposium Logic-based Program Synthesis and Transformation (LOPSTR 2017),2018
3. Unification Theory
4. Muñoz, C. and Butler, R. (2003). Rapid prototyping in PVS. Technical Report NASA/CR-2003-212418, NIA-2003-03, NASA Langley Research Center (NIA).
5. A formalisation of nominal α-equivalence with A, C, and AC function symbols