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