A generalized proof-theoretic approach to logical argumentation based on hypersequents
scientific article; zbMATH DE number 7339954
scientific article