@misc{indiciae73eeea5679cd,
  title = {FO-Complete Program Verification for Heap Logics},
  author = {Adithya Murali and Hrishikesh Balakrishnan and Aaron Councilman and P. Madhusudan},
  year = {2026},
  doi = {10.1145/3720447},
  url = {https://arxiv.org/abs/2601.06719},
  note = {Source identifier: 2601.06719}
}