@misc{indiciaed79d5e1f95b2,
  title = {Separation and Renaming in Nominal Sets},
  author = {Joshua Moerman and Jurriaan Rot},
  year = {2019},
  url = {https://arxiv.org/abs/1906.00763},
  note = {Source identifier: 1906.00763}
}