@misc{indiciae4f310e42c2e8,
  title = {Completeness of Cyclic Proofs for Symbolic Heaps},
  author = {Makoto Tatsuta and Koji Nakazawa and Daisuke Kimura},
  year = {2018},
  url = {https://arxiv.org/abs/1804.03938},
  note = {Source identifier: 1804.03938}
}