@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 }