Relating Labelled and Label-Free Bunched Calculi in BI Logic.

Didier Galmiche, Michel Marti, Daniel Mry

Browse the full TABLEAUX paper archive.