Didier Galmiche, Michel Marti, Daniel Méry. Relating Labelled and Label-Free Bunched Calculi in BI Logic. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 130-146, Springer, 2019. [doi]
Abstract is missing.