@misc{indiciae325d1cd138b0,
  title = {Nominal C-Unification},
  author = {Mauricio Ayala-Rincón and Washington de Carvalho-Segundo and Maribel Fernández and Daniele Nantes-Sobrinho},
  year = {2017},
  url = {https://arxiv.org/abs/1709.05384},
  note = {Source identifier: 1709.05384}
}