@InProceedings{Brotherston-etal:14, author = "James Brotherston and Carsten Fuhs and Nikos Gorogiannis and Juan {Navarro P\'erez}", title = "A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates", booktitle = "Proceedings of {CSL-LICS}", publisher = "ACM", year = 2014, pages = "25:1--25:10" }