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