@InProceedings{Brotherston-Kanovich:18,
  author    = "James Brotherston and Max Kanovich",
  title     = "On the Complexity of Pointer Arithmetic in Separation Logic",
  booktitle = "Proceedings of {APLAS}-16",
  pages     = "329--349",
  series    = "LNCS",
  volume    = 11275,
  publisher = "Springer",
  year      = 2018
}