@misc{indiciae88f65263014d,
  title = {Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition},
  author = {René Haberland and Kirill Krinkin and Sergey Ivanovskiy},
  year = {2019},
  doi = {10.1109/fruct-ispit.2016.7561510},
  url = {https://arxiv.org/abs/1906.00217},
  note = {Source identifier: 1906.00217}
}