The following publications are possibly variants of this publication:
- A Formalisation of Nominal C-Matching through Unification with Protected VariablesMauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes Sobrinho. ENTCS, 344:47-65, 2019. [doi]
- Nominal Anti-Unification with Atom-VariablesManfred Schmidt-Schauß, Daniele Nantes Sobrinho. fscd 2022: [doi]
- Nominal C-UnificationMauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes Sobrinho. LOPSTR 2018: 235-251 [doi]
- A, C, and AC Nominal Anti-UnificationAlexander Baumgartner, Daniele Nantes Sobrinho. UNIF 2020: [doi]
- A Certified Functional Nominal C-Unification AlgorithmMauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho. LOPSTR 2020: 123-138 [doi]