@misc{indiciae1e3ed6ec6144,
  title = {Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis},
  author = {Quang Loc Le},
  year = {2018},
  url = {https://arxiv.org/abs/1710.06515},
  note = {Source identifier: 1710.06515}
}