@InProceedings{Brotherston-etal:16,
  author    = "James Brotherston and Nikos Gorogiannis and Max Kanovich and Reuben Rowe",
  title     = "Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates",
  booktitle = "Proceedings of {POPL-43}",
  pages     = "84--96",
  publisher = "ACM",
  year      = 2016
}