@misc{indiciae14d9cecc5dcb,
  title = {A Separation Logic for Negative Dependence},
  author = {Jialu Bao and Marco Gaboardi and Justin Hsu and Joseph Tassarotti},
  year = {2021},
  doi = {10.1145/3498719},
  url = {https://arxiv.org/abs/2111.14917},
  note = {Source identifier: 2111.14917}
}