@misc{indiciaefe015bc90b7f,
  title = {Nominal Matching Logic},
  author = {James Cheney and Maribel Fernández},
  year = {2022},
  doi = {10.1145/3551357.3551375},
  url = {https://arxiv.org/abs/2207.14139},
  note = {Source identifier: 2207.14139}
}