TY  - RPRT
TI  - A syntactic proof of decidability for the logic of bunched implication BI
AU  - Revantha Ramanayake
PY  - 2026
UR  - https://arxiv.org/abs/1609.05847
ID  - 1609.05847
ER  -