%S Lecture Notes in Computer Science %I Springer %E C Baier %E U Dal Lago %C Thessaloniki %L discovery10044097 %T Modular Tableaux Calculi for Separation Theories %D 2018 %A S Docherty %A D Pym