@misc{indiciae309b768260c8,
  title = {A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search},
  author = {Zhe Hou and Alwen Tiu and Rajeev Gore},
  year = {2015},
  url = {https://arxiv.org/abs/1302.4783},
  note = {Source identifier: 1302.4783}
}