Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes Sobrinho. A Formalisation of Nominal C-Matching through Unification with Protected Variables. Electronic Notes in Theoretical Computer Science, 344:47-65, 2019. [doi]
Abstract is missing.