Labelled Tableaux for Linear Time Bunched Implication Logic.

Didier Galmiche, Daniel Mry

Browse the full FSCD paper archive.