@Article{Brotherston-Calcagno:10,
  author    = "James Brotherston and Cristiano Calcagno",
  title     = "Classical {BI}: {I}ts Semantics and Proof Theory",
  journal   = "Logical Methods in Computer Science",
  volume    = 6,
  number    = 3,
  year      = 2010
}