TY  - RPRT
TI  - Focused Proof-search in the Logic of Bunched Implications
AU  - Alexander Gheorghiu
AU  - Sonia Marin
PY  - 2021
UR  - https://arxiv.org/abs/2010.08352
ID  - 2010.08352
ER  -