@InProceedings{Brotherston-Gorogiannis-Kanovich:17,
  author    = "James Brotherston and Nikos Gorogiannis and Max Kanovich",
  title     = "Biabduction (and Related Problems) in Array Separation Logic",
  booktitle = "Proceedings of {CADE}-26",
  series    = "LNAI",
  volume    = 10395,
  pages     = "472--490",
  publisher = "Springer",
  year      = 2017
}