Modular Tableaux Calculi for Separation Theories.

Simon Docherty, David J. Pym

Browse the full FOSSACS paper archive.