@misc{indiciae23ff023d1a50,
  title = {Biabduction (and Related Problems) in Array Separation Logic},
  author = {James Brotherston and Nikos Gorogiannis and Max Kanovich},
  year = {2016},
  url = {https://arxiv.org/abs/1607.01993},
  note = {Source identifier: 1607.01993}
}