@misc{indiciaef9af06f86d7a,
  title = {A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version)},
  author = {Tiago Soares and Mário Pereira},
  year = {2023},
  url = {https://arxiv.org/abs/2302.01265},
  note = {Source identifier: 2302.01265}
}