Structural cut elimination. I: Intuitionistic and classical logic
scientific article; zbMATH DE number 1853094
scientific article