Investigations into a left-structural right-substructural sequent calculus
scientific article; zbMATH DE number 5532519