@InProceedings{Brotherston-Kanovich:10,
  author    = "James Brotherston and Max Kanovich",
  title     = "Undecidability of propositional separation logic and its neighbours",
  booktitle = "Proceedings of {LICS-25}",
  pages     = "137--146",
  publisher = "IEEE Computer Society",
  year      = 2010
}