@misc{indiciae7b05aa7b0e82,
  title = {Normal Form Bisimulations By Value},
  author = {Beniamino Accattoli and Adrienne Lancelot and Claudia Faggian},
  year = {2023},
  url = {https://arxiv.org/abs/2303.08161},
  note = {Source identifier: 2303.08161}
}