%0 Generic %A Docherty, S %A Pym, D %D 2018 %E Baier, C %E Dal Lago, U %F discovery:10044097 %I Springer %T Modular Tableaux Calculi for Separation Theories %U https://discovery.ucl.ac.uk/id/eprint/10044097/