TY  - RPRT
TI  - Classical BI: Its Semantics and Proof Theory
AU  - James Brotherston
AU  - Cristiano Calcagno
PY  - 2010
DO  - 10.2168/lmcs-6(3:3)2010
UR  - https://arxiv.org/abs/1005.2340
ID  - 1005.2340
ER  -