TY  - RPRT
TI  - Union and intersection contracts are hard, actually
AU  - Teodoro Freund
AU  - Yann Hamdaoui
AU  - Arnaud Spiwack
PY  - 2022
DO  - 10.1145/3486602.3486767
UR  - https://arxiv.org/abs/2106.06278
ID  - 2106.06278
ER  -