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. LSFA 2018: 47-65