%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