@misc{indiciae2606fd0e8afb,
  title = {Decision Procedure for Entailment of Symbolic Heaps with Arrays},
  author = {Daisuke Kimura and Makoto Tatsuta},
  year = {2017},
  url = {https://arxiv.org/abs/1708.06696},
  note = {Source identifier: 1708.06696}
}