@Article{Brotherston-Kanovich:14, author = "James Brotherston and Max Kanovich", title = "Undecidability of Propositional Separation Logic and its Neighbours", journal = "Journal of the ACM", volume = 61, number = 2, pages = "14:1--14:43", month = "April", year = 2014 }