Sequent calculi for \(\mathsf{SCI}\)
scientific article; zbMATH DE number 6914009