The G4i analogue of a G3i sequent calculus
scientific article; zbMATH DE number 7625362
scientific article