@misc{indiciae3a78aaaba369,
  title = {Automated Lemma Synthesis in Symbolic-Heap Separation Logic},
  author = {Quang-Trung Ta and Ton Chanh Le and Siau-Cheng Khoo and Wei-Ngan Chin},
  year = {2017},
  url = {https://arxiv.org/abs/1710.09635},
  note = {Source identifier: 1710.09635}
}