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       Green open access