@misc{indiciaefd59a7d65c6a,
  title = {A separation logic for sequences in pointer programs and its decidability},
  author = {Tianyue Cao and Bowen Zhang and Zhao Jin and Yongzhi Cao and Hanpin Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2301.06237},
  note = {Source identifier: 2301.06237}
}