@misc{indiciae920832a42ec4,
  title = {Union and intersection contracts are hard, actually},
  author = {Teodoro Freund and Yann Hamdaoui and Arnaud Spiwack},
  year = {2022},
  doi = {10.1145/3486602.3486767},
  url = {https://arxiv.org/abs/2106.06278},
  note = {Source identifier: 2106.06278}
}