Brotherston, J; Fuhs, C; Pérez, JAN; Gorogiannis, N; (2014) A decision procedure for satisfiability in separation logic with inductive predicates. In: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery (ACM): New York, US.