Modular tableaux calculi for separation theories
scientific article; zbMATH DE number 6904550