@InProceedings{Brotherston:10,
  author    = "James Brotherston",
  title     = "A Unified Display Proof Theory for Bunched Logic",
  booktitle = "Proceedings of {MFPS-26}",
  pages     = "197--211",
  series    = "ENTCS",
  volume    = 265,
  publisher = "Elsevier B.V.",
  year      = 2010
}