@misc{indiciaef34c60104dbf,
  title = {Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders},
  author = {Maribel Fernández and Daniele Nantes-Sobrinho and Daniella Santaguida},
  year = {2025},
  url = {https://arxiv.org/abs/2505.14895},
  note = {Source identifier: 2505.14895}
}