@misc{indiciae755eecfca70e,
  title = {A Theory of Heap for Constrained Horn Clauses (Extended Technical Report)},
  author = {Zafer Esen and Philipp Rümmer},
  year = {2021},
  url = {https://arxiv.org/abs/2104.04224},
  note = {Source identifier: 2104.04224}
}