@InProceedings{Brotherston-Gorogiannis:15,
  author    = "James Brotherston and Nikos Gorogiannis",
  title     = "Disproving Inductive Entailments in Separation Logic via Base Pair Approximation",
  booktitle = "Proceedings of {TABLEAUX}-24",
  pages     = "287--303",
  series    = "LNAI",
  volume    = "9323",
  publisher = "Springer",
  year      = 2015
}