TY  - RPRT
TI  - A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
AU  - Zhe Hou
AU  - Alwen Tiu
AU  - Rajeev Gore
PY  - 2015
UR  - https://arxiv.org/abs/1302.4783
ID  - 1302.4783
ER  -