@misc{indiciae76d792cb5506,
  title = {Strong Nominal Semantics for Fixed-Point Constraints},
  author = {Ali K. Caires-Santos and Maribel Fernández and Daniele Nantes-Sobrinho},
  year = {2024},
  doi = {10.46298/entics.14777},
  url = {https://arxiv.org/abs/2407.14253},
  note = {Source identifier: 2407.14253}
}