Brotherston, J; Kanovich, M; (2014) Undecidability of Propositional Separation Logic and Its Neighbours. JOURNAL OF THE ACM , 61 (2) , Article ARTN 14. 10.1145/2542667.