Focused Proof-search in the Logic of Bunched Implications.

Alexander Gheorghiu, Sonia Marin

Browse the full FOSSACS paper archive.