Docherty, S; Pym, D; (2018) Modular Tableaux Calculi for Separation Theories. In: Baier, C and Dal Lago, U, (eds.) (Proceedings) FoSSaCS 2018, 21st International Conference on Foundations of Software Science and Computation Structures, 14-20 April 2018, Thessaloniki, Greece. Springer