Towards a Cut-free Sequent Calculus for Boolean BI.

Sungwoo Park, Jonghyun Park

Browse the full LICS paper archive.