Simon Docherty, David J. Pym: Modular Tableaux Calculi for Separation Theories. FoSSaCS 2018: 441-458