Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho. Formalising nominal C-unification generalised with protected variables. Mathematical Structures in Computer Science, 31(3):286-311, 2021. [doi]
Abstract is missing.