Didier Galmiche Daniel Méry Semantic Labelled Tableaux for Propositional BI. 707-753 2003 13 J. Log. Comput. 5 http://dx.doi.org/10.1093/logcom/13.5.707 db/journals/logcom/logcom13.html#GalmicheM03