Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti: A separation logic for negative dependence. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022)