@InProceedings{Brotherston:07,
  author    = "James Brotherston",
  title     = "Formalised Inductive Reasoning in the Logic of Bunched Implications",
  booktitle = "Proceedings of {SAS}-14",
  series    = "LNCS",
  volume    = 4634,
  pages     = "87--103",
  publisher = "Springer-Verlag",
  year      = 2007
}