@misc{indiciae59c36867c5f6,
  title = {Exact Separation Logic (Extended Version)},
  author = {Petar Maksimović and Caroline Cronjäger and Andreas Lööw and Julian Sutherland and Philippa Gardner},
  year = {2023},
  doi = {10.4230/lipics.ecoop.2023.19},
  url = {https://arxiv.org/abs/2208.07200},
  note = {Source identifier: 2208.07200}
}