A uniform procedure for converting matrix proofs into sequent-style systems
scientific article; zbMATH DE number 1853132
scientific article