TY  - RPRT
TI  - Provability in BI's Sequent Calculus is Decidable
AU  - Alexander Gheorghiu
AU  - Simon Docherty
AU  - David Pym
PY  - 2024
UR  - https://arxiv.org/abs/2103.02343
ID  - 2103.02343
ER  -